Re:Division by zero in type theory: a FAQ
by empath75 on Tuesday July 07, 2020 @12:44AM
(#23755757)
That’s a perfectly sensible function, it’s just not ordinary division on the reals where x = 0, and you can’t use it that way.
[ Parent
| on HN ]
There are no comments on this comment yet.