Top New Best Ask Show Jobs

Counterexamples in type systems | Hacker News Reader

Counterexamples in type systems

github.com

28 points·todsacerdoti··2 comments

Open articleView on HN

Discussed a month ago (234 points, 95 comments):

https://news.ycombinator.com/item?id=36213704

The current post's link points to the mdBook sources on GitHub, while the previous one points to the generated website.

Reply on news.ycombinator.com