search

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript
MIT License
8 stars 0 forks source link

Misbehaviour of "or" function #24

Closed ghost closed 10 years ago

ghost commented 10 years ago

"true or false" evaluates to false.