2021年11月17日
agda学习笔记--开始
摘要： adga 下午考完期中考了，感觉不咋滴... 算了，扔掉 haskell ，我们来玩个新的东西 agda 首先，安装它十分的麻烦...尤其是 windows 中文版 其次，我惊奇的发现，agda写出的程序不能运行 ？？？ 主要用做定理证明器 （load命令 C+c C+l data Bool : S 阅读全文
posted @ 2021-11-17 19:44 liankewei123456 阅读(169) 评论(0) 推荐(0) 编辑