.png)
5 hours ago
2
Explore with Type Inference Algorithms
🕹️
Interactive Playground
Try out type inference examples and explore various algorithms directly in the browser. Hands-on experience made simple.
🧩
Unified Syntax and Implmentation
A consistent syntax across multiple type inference algorithms—no need to waste time building new parsers or pretty printers.
👩💻
Friendly to Language Implementers
Code is probably less ambiguous than the notation used in the paper and more approachable.
