jmchapman/lambda-calculus

Formalisation of normalisation by evaluation for simply typed lambda calculus extended with natural numbers, lists, pairs, and streams.

Agda