A demo implementation of a simple dependently-typed language (Stephanie Weirich)github.com/sweirich2 pointsmrbbk12 years ago