Learn You an Agda

This is a markdown version of the tutorial
Learn You an Agda and Achieve Enlightenment!
by Liam O’Connor-Davis. I made this version for my own …

Related Keywords

,Stephen Diehl ,Giuseppe Peano ,Agda Wiki ,Learn You ,Ivory Tower ,Ivory Tower Academics ,Curry Howard Correspondence ,Lambda Calculus ,Ubuntu Linux ,Suc Nat ,Generalized Algebraic Data Types ,Halting Problem ,Liamo Connor Davis ,