Skip to content
Tech News
← Back to articles

Type Inference Zoo

read original get productivity planner β†’ more articles

πŸ‘©β€πŸ’»

Friendly to Language Implementers

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