type-i. Type Inference Utility on unary type-checking predicates

github.com/guicho271828/type-i
by @guicho271828

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.