leo-type-inference 1.0.8

Checks that a program is correct using type inference
Documentation