This is a work-in-progress stream-based type-checker for a stripped-down version of ML. The problem originated with Mezzo, where we needed to build a type-checker that performs backtracking, and at the same time keeps track of derivations.
protz / moustache Goto Github PK
View Code? Open in Web Editor NEWA type-checker for a degenerated version of ML that doesn't even know about polymorphism.