GitHub - solomon-b/lambda-calculus-hs: Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
github.com
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques - solomon-b/lambda-calculus-hs

This project had been on pause for a while but I recently got back into it. My end goal is a series of examples for implementing Bidrectional Typechecking and NbE for a variety of type system features. Comments