Verification of the Hindley-Milner type inference algorithm
Primary LanguageIdris
This repository is not active