add a way to import other .nat
files in the REPL and other files
#15
Labels
enhancement
New feature or request
.nat
files in the REPL and other files
#15
This would allow more re-use of definitions.
Ideally for disambiguation also a namespacing mechansim should be present.
Maybe for "import everything" and "only import the name of the namespace" different statement types could be used?
import OtherFile
for loadingOtherFile.nat
from a set of known locations and then making all definitions usableuse OtherFile
for loadingOtherFile.nat
from a set of known locations and then allowing the use of definitions usingOtherFile.some_name
The text was updated successfully, but these errors were encountered: