/De-Bruijn-Haskell

Lambda Calculus with De Bruijn indices

Primary LanguageHaskellMIT LicenseMIT

Connard

Lambda Calculus with De Bruijn indices written in Haskell (to help me learn haskell)

(Don't mind the name being Connard, its just like that)