Type Inference Zoo

👩‍💻

Friendly to Language Implementers

Code is probably less ambiguous than the notation used in the paper and more approachable.