Term printing which takes advantage of priority

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript

MIT License

8 stars 0 forks source link

Open phlegmaticprogrammer opened 10 years ago

phlegmaticprogrammer commented 10 years ago

When printing a term, a lot of brackets are superfluous because of priority issues. This should be taken into account.

phlegmaticprogrammer commented 10 years ago

A slight improvement has been made by a better protection check in printTerm.