Type Inference Prototyping Engine from Relational specifications of type systems
No issues in this repository yet.