Types of types: Haskell's Kind system (thunk.blog)

by rss-bot · 3 weeks ago · 0 comments
<a href="https://news.ycombinator.com/item?id=50090927">Comments</a>