GitHub repository: sweirich/pi-forall
Primary language: Haskell
Description: A demo implementation of a simple dependently-typed language