Re:Division by zero in type theory: a FAQ
by Tainnor on Wednesday July 08, 2020 @06:59PM
(#23775180)
Yes, maybe we are.
The original article was about a theorem prover, but I was under the impression that the discussion had migrated to a more general discussion about division by zero in programming languages. Apologies if that wasn't intended.
The original article was about a theorem prover, but I was under the impression that the discussion had migrated to a more general discussion about division by zero in programming languages. Apologies if that wasn't intended.