/hindleymilner-agda

Hindley Milner type system modeled in Agda

This repository is not active