「蝉语 / Cicada Language」一个新的 dependent type 语言！
xieyuheng xieyuheng 2022-01-15 13:43:17 +08:00 2023 次点击这是一个创建于 1432 天前的主题，其中的信息可能已经有所发展或是发生改变。
Dependent type 就意味着可以用来辅助证明数学定理。
《蝉语手册》（语言的主要文档）： https://readonly.link/manuals/gitlab.com/cicada-lang/cicada
《蝉语独白》（中文）（一个模仿 Little Book 的小册子）： https://readonly.link/books/github.com/xieyuheng/cicada-monologues
项目主页： https://cicada-lang.org
欢迎大家转发给可能会感兴趣的朋友捏～
 | 1 Justin13 2022-01-15 14:14:08 +08:00 via Android 这书确实有那味了 |
 | 2 xiaotianhu 2022-01-15 15:22:00 +08:00 看不太懂，帮顶。支持一下 |
 | 3 learningman 2022-01-15 18:25:44 +08:00 readonly 这个工具挺好的，但是总感觉指不定哪天就没了。。。 |
 | 4 xieyuheng OP |
Select Language