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 somewhereoutth on Tuesday July 07, 2020 @03:06PM (#23762851)
You are correct - it should indeed be zero (and * can be constructed accordingly)
[ Parent | on HN ]

There are no comments on this comment yet.