mister-walter / type-i

Type Inference Utility on unary type-checking predicates

Geek Repo

Github PK Tool