/tiper

Type Inference Prototyping Engine from Relational specifications of type systems

Stargazers