Λ-calculus using binary numbers of variable length

Lambda Way Project - Lisp, IDE & SSG