carlosgmartin/lambda

An implementation of the untyped lambda calculus with De Bruijn indices

Python