Make logical namespace resolution a function of the context - Githubissues

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript

MIT License

8 stars 0 forks source link

Make logical namespace resolution a function of the context #68

Closed phlegmaticprogrammer closed 8 years ago

phlegmaticprogrammer commented 8 years ago

See https://groups.google.com/d/msg/proofpeer-dev/eROR6tEgqZA/98A-H5aWAgAJ .