st. Implementing Lindahl and Sagonas's "Practical Type Inference Based on Success Typings"

github.com/mgree/st
by @mgree

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.