stlc. Optimised type inference for simply-typed λ-calculus

github.com/cls/stlc
by @cls

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.