「蝉语 / Cicada Language」一个新的 dependent type 语言！
xieyuheng · xieyuheng · 2022-01-15 13:43:17 +08:00 · 1645 次点击这是一个创建于 825 天前的主题，其中的信息可能已经有所发展或是发生改变。
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