Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)
Primary LanguageHaskell