Saizan/lambda-definability

Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond

Agda

lambda-definability

Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond