Module system - Githubissues

advancedresearch / poi

a pragmatic point-free theorem prover assistant

Apache License 2.0

136 stars 7 forks source link

Open bvssvni opened 3 years ago

bvssvni commented 3 years ago

Currently, there is no way to import a library from Poi-Reduce.

bvssvni commented 3 years ago

A simple implementation is just import "<file>".