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 trealira on Wednesday June 26, 2024 @12:17PM (#40801627)
Looking back but can't edit. The first line should say

  ((a | b | c) -> T) -> T
This is just a mistake I made paraphrasing link 1.
[ Parent | on HN ]

There are no comments on this comment yet.