search

proofpeer / proofpeer-proofscript

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

Allow parent notation `..` in namespaces? #19

Open phlegmaticprogrammer opened 10 years ago

phlegmaticprogrammer commented 10 years ago

Seems to make sense.