search

proofpeer / proofpeer-proofscript

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

Fix program level namespace resolution #71

Closed phlegmaticprogrammer closed 8 years ago