dylan-thinnes/lambda-calculus

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

This repository is not active