juvix
juvix copied to clipboard
Put the standard library under a global directory by default
The projects should reuse some instance of the standard library by default instead of having its own copy.
We can use defaultStdlib
identifier in the Package.juvix
file to refer to the global stdlib instead of creating a new copy of the stdlib in the project's juvix-build directory.