News for hackers. Stuff that matters.

A comment on Division by zero in type theory: a FAQ. Parent comment

Re:Division by zero in type theory: a FAQ by thaumasiotes on Monday July 06, 2020 @05:24PM (#23752937)
...yes?
[ Parent | on HN ]

There are no comments on this comment yet.