V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member Sign In
V2EX › cicada
 |
「蝉语 / Cicada Language」一个新的 dependent type 语言！
4 程序员 • xieyuheng • Jan 16, 2022 • Lastly replied by xieyuheng
|
4 |
|
「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言
1 数学 • xieyuheng • Jan 23, 2022 • Lastly replied by xieyuheng
|
18 |
 |
一个简洁复古的 Hexo 主题 :) 分享创造 • daredevilll • Oct 14, 2018 • Lastly replied by daredevilll | 10 |
 |
「造个轮子」——cicada(轻量级 WEB 框架) 分享创造 • crossoverJie • Sep 3, 2018 • Lastly replied by crossoverJie | 4 |
Select Language