首页 > V2EX > V2EX-「蝉语 / Cicada Language」一个新的 dependent type 语言!
2022
01-15

V2EX-「蝉语 / 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

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

from V2EX-最新主题 https://ift.tt/3qvH2VF
V2EX-「蝉语 / Cicada Language」一个新的 dependent type 语言! - 第1张  | 牛C网(NiuL.Net)
牛C网:https://j1o.net
牛C网导航:https://niuc.icu
零九导航:https://09.gay

最后编辑:
作者:分享菌
这个作者貌似有点懒,什么都没有留下。

留下一个回复

你的email不会被公开。