Simple dependently typed language with partial constraint-based type checker - View it on GitHub