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 Jan 15, 2022 via Android
这书确实有那味了
|
 |
2
xiaotianhu Jan 15, 2022
看不太懂，帮顶。支持一下
|
 |
3
learningman Jan 15, 2022
readonly 这个工具挺好的，但是总感觉指不定哪天就没了。。。
|
 |
4
xieyuheng OP |
Select Language