News for hackers. Stuff that matters.

A comment on Deriving Dependently-Typed OOP from First Principles. Parent comment

Re:Deriving Dependently-Typed OOP from First Principles by _ZeD_ on Monday June 24, 2024 @02:36AM (#40773078)
The very old Qc Na koan is still relevant -- http://people.csail.mit.edu/gregs/ll1-discuss-archive-html/m...
[ Parent | on HN ]

There are no comments on this comment yet.