Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory
Summary
This GitHub repository presents a progression of Lambda Calculus implementations from Simply Typed evaluation through advanced type-system features, including Martin-Löf Type Theory. It aims to demonstrate best practices for language feature implementation and to support an illustrative, literate web app exploring Lambda Calculus concepts.