Learn You an Agda : vimarsana.com

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 ,