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 garmaine on Wednesday July 08, 2020 @04:30PM (#23773909)
I think we are talking at cross purposes now? This is a theorem proving language the OP is talking about. Different objectives and needs.
[ Parent | on HN ]
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.

[ Parent | on HN ]