怎样入门Agda，并使用它进行定理证明
Conor McBride, CS410, pigworker/CS410-17
The repo also contains links to the online video recordings.
Conor的课追了一半，感觉蛮适合新手的，他上课写的代码不用unicode所以基本上看到他课上写什么都可以自己照着来。后面讲category对haskell程序猿应该还可以接受。基本上是最适合入门的。oplss上dan licata也有5节课讲agda，我觉得更适合写过一段时间agda之后再去看。
Verified Functional Programming in Agda 这本书也还行吧，最后的kripke semantics看个意思就好，具体实现写得蛮丑的，反正我不喜欢，对kripke semantics感兴趣的话可以去github上自己搜代码。
其他的，我记得当时看Agda Tutorial这个蛮多的。
■网友
可以加这个群 524862921
或者看我专栏
或者看我的书 http://github.com/ice1000/Books
（然后指导我学习
■网友
Table of Contents 【怎样入门Agda，并使用它进行定理证明】 书可以下载运行，emacs直接type check爽歪歪
推荐阅读
- 聪明人养花，这3种“花”怎样也要养一盆，每年能省不少医药费
- 互联网怎样解决“家政服务上门速度慢”的问题
- 怎样看待从1月8号起，QQ钱包开始提现收费
- 银行it人怎样转型
- 汽车|冬天怎样让车内温度快速升高？座椅加热的最佳使用方式二，外循环的作用总结
- 橘猫车探长|国产又一硬派越野，入门有255马力，气场堪比路虎卫士，或10万起
- 怎样进入通信行业
- 怎样评价扶他柠檬茶的小说《云养汉》的结尾
- 想要入门图像处理，应该从哪本书看起
- 怎样成为一名合格的Python程序员?