just an implimentation of lambda calulus in Python. not intended for use, more for reasearch and learning
4kmartin / lambdacalculus Goto Github PK
View Code? Open in Web Editor NEWAn implementation of lambda types (Numerals, Booleans, and Pairs)
License: The Unlicense