elmw/extra-boolean (elm): Boolean data type has two possible truth values to represent logic.
Keywords: algebra|boolean|eqv|extra|imp|is|logic|parse|xor