News for hackers. Stuff that matters.

A comment on Type Challenges Solutions. Parent comment

Re:Type Challenges Solutions by pmmck on Monday December 06, 2021 @05:29PM (#29466540)
In a slightly different vein, I love this site for helping me study and understand deeper practical implications and corner cases of type system designs: https://counterexamples.org/
[ Parent | on HN ]

There are no comments on this comment yet.