Home Sign Up Sign In
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member  Sign In
V2EX  ›  dependent
xieyuheng 「蝉语 / Cicada Language」一个新的 dependent type 语言！
  •  4   
    程序员  •  xieyuheng  •  Jan 16, 2022  •  Lastly replied by xieyuheng         		4
    yuldx 大二暑期实习的机会？
  •  1   
    求职  •  yuldx  •  Jan 31, 2018  •  Lastly replied by yuldx         		25
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   3293 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 13ms · UTC 02:59 · PVG 10:59 · LAX 19:59 · JFK 22:59
    ♥ Do have faith in what you're doing.