News for hackers. Stuff that matters.

A comment on Coq typeclass resolution is Turing-complete. Parent comment

Re:Coq typeclass resolution is Turing-complete by IshKebab on Sunday April 16, 2023 @05:33PM (#35594474)
Yeah I've wondered about that. Especially the obsession with singly linked lists.
[ Parent | on HN ]

There are no comments on this comment yet.