proofpeer / proofpeer-proofscript

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

Examine implementation of comparison #15

Closed phlegmaticprogrammer closed 10 years ago

phlegmaticprogrammer commented 10 years ago

Check if the implementation of the comparison operators makes sense or if they have to be adjusted. In particular why does 1 < "1" evaluate to false, but ["a", "c"] < ["b"] results in failure?