agda

这是一个降价版的教程学习你的Agda和实现启蒙！利亚姆·奥康纳·戴维斯著。 我制作这个版本是为了我自己的参考，同时我还进行了一些修改和补充，以及一些修正。你可能更喜欢原版。 欢迎学习Agda并获得启发！如果你正在读这篇文章，你可能会好奇Agda是什么，为什么你想学习它，以及一般来说，依赖类型的纯函数编程有什么大不了的......