Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added the following redirects (which used to point to truth value):
[[!redirects boolean]]
[[!redirects booleans]]
[[!redirects Boolean]]
[[!redirects Booleans]]
and to
[[!redirects Bit]]
and cross-linked with bit and more terms (such as top and bottom)
added reference to the Wikipedia entry
will next add inference rules for Bool as an inductive type…
spelled out (here) the type inference rules.
added pointer to
added pointer to:
Not sure if it makes sense to duplicate the rules in this way, it seems confusing without comment. Maybe better to merge the two rule sets and add a comment below on the different posdibilities of equality in the computation rule.
You were right the first time, Joachim.
(Although I do find it an odd and overworked entry, stretching back to the earliest days.)
Moved the sections on the “type of decidable propositions” and “type of booleans” from the type of propositions article over to this article
merging most of the contents of two-valued type into this article since it is referring to the same concept
1 to 13 of 13