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 ragnese on Tuesday July 07, 2020 @06:34AM (#23757651)
Thank you. I've forgotten some of the terminology, since I haven't thought about real math in a few years. :(
[ Parent | on HN ]

There are no comments on this comment yet.