/elab

Dependently-typed language to experiment with An Algebraic Approach to Typechecking and Elaboration

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

elab

This project is a tiny experiment in writing a bidirectional type checker/elaborator for a dependently typed lambda calculus using an algebraic approach due to @bentnib.