Switch branches/tags
Nothing to show
Find file History
Latest commit a900247 Oct 17, 2018

README.md

《好耶,是形式验证!》

中文小册子,教 Haskell 初心者写 Agda。

这是修订版,修复了很多初版的问题。修订版刚发布的时候忘记修改了几个小问题,现在已经全部修复。