News for hackers. Stuff that matters.

A comment on Propositions Are Not Types (2018). Parent comment

Re:Propositions Are Not Types (2018) by fauigerzigerk on Saturday October 12, 2019 @06:28PM (#21236814)
It's absolutely possible that you are right and I'm not doing him justice.
[ Parent | on HN ]

There are no comments on this comment yet.