Spurious error message for lists applied to (non-integer) values. - Githubissues

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript

MIT License

8 stars 0 forks source link

Spurious error message for lists applied to (non-integer) values. #51

Closed ghost closed 9 years ago

ghost commented 9 years ago

show [] '⊤'

gives the error "string cannot be applied to '⊤'"