Fix error in comment to `para_to_or`
bvssvni opened this issue · comments
This should be false^b, not b^false.
advancedresearch / prop
Propositional logic with types in Rust
Propositional logic with types in Rust
bvssvni opened this issue · comments
This should be false^b, not b^false.