Type Inference Zoo

https://news.ycombinator.com/rss Hits: 18
Summary

👩‍💻 Friendly to Language Implementers Code is probably less ambiguous than the notation used in the paper and more approachable.

First seen: 2025-06-22 00:43

Last seen: 2025-06-22 17:55