3 ms·A demo implementation of a simple dependently-typed language (Stephanie Weirich)2 points by mrbbk 12y ago