jmchapman/lambda-calculus
Formalisation of normalisation by evaluation for simply typed lambda calculus extended with natural numbers, lists, pairs, and streams.
Agda
No issues in this repository yet.
Formalisation of normalisation by evaluation for simply typed lambda calculus extended with natural numbers, lists, pairs, and streams.
Agda
No issues in this repository yet.