「蝉语 / Cicada Language」一个新的 dependent type 语言！

[xieyuheng]

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

欢迎大家转发给可能会感兴趣的朋友捏～

[Justin13]

这书确实有那味了

[xiaotianhu]

看不太懂，帮顶。支持一下

[learningman]

readonly 这个工具挺好的，但是总感觉指不定哪天就没了。。。

[xieyuheng]

@learningman

会一直有的。并且我会保持它的简洁和无干扰的设计，还会加一些后端支持来提供更好的服务。

「剑在云在！」