jplloyd/xiphi

Simple dependently typed language with partial constraint-based type checker

Haskell