news.volyx.in

How should I read type system notation? (langdev.stackexchange.com)

349 points by mpweiher · 1106 days ago · 92 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.