RedPRL/bantorra

Support pre-mounted standard libraries

Closed this issue · 0 comments

favonia commented

Currently every library needs to be specified in the anchor files. Perhaps it is useful to pre-mount the standard library.