Dependently Typed Lambda Calculus in Haskell - View it on GitHub