stedolan/counterexamples

Counterexamples in Type Systems

28 best points · 2 comments · 1 Hacker News post · 437 GitHub stars · View on GitHub

Hacker News discussions

• Counterexamples in type systems (28 points, 2 comments, by todsacerdoti, 2023-07-08)