Type Inference Prototyping Engine from Relational specifications of type systems
This repository is not active