Joa*_*ner 33 agda
Agda是一种很好的编程语言,可以探索依赖类型并使用直觉类型理论并尝试实现这些东西.但是,已经有用Agda编写的"真实"程序的例子吗？也许甚至可以展示其功能的例子(类似于xmonad经常被提到作为"真正的"Haskell程序的一个例子)？
归档时间：
13 年，3 月 前
查看次数：
1790 次
最近记录：
7 年，8 月 前