tsoding / Noq

Simple expression transformer that is not Coq.
MIT License
253 stars 24 forks source link

Added loading std from any location #19

Open farkon00 opened 2 years ago

farkon00 commented 2 years ago

Now you can set NOQ_STD_PATH env variable to a path to folder with standard library you wanna use. When loading path is prefixed with std/ it will be replaced with this variable(if it's not set, the standard loading would start).