A demo implementation of a simple dependently-typed language (Stephanie Weirich)github.com2 points·mrbbk··0 commentsOpen articleSaveView on HN