suhailshergill/lambdapi

A Tutorial Implementation of a Dependently Typed Lambda Calculus

Haskell