@jonny funny thing, but a number of people in the theorem prover community think we should stop using bools and replace them with proofs and contradictions
Top-level
@jonny funny thing, but a number of people in the theorem prover community think we should stop using bools and replace them with proofs and contradictions 7 comments
@feonixrift @jonny we tend to think of it as booleans erasing what they pertain to :) @feonixrift @jonny you want coin-operated computation? we can do that! https://www.idris-lang.org/docs/idris2/current/base_docs/docs/Data.Fuel.html @feonixrift @jonny it's not esoteric, it's just type theoretic |
@dysfun @jonny makes sense; nothing in math is true or false, only consistent or inconsistent.