Paul Cadman ed78f2636b Embed standard library in the minijuvix binary (#210) ... * Embed stdlib in minijuvix library We add a new step at the beginning of the pipeline called Setup that registers the modules in the standard library with the Files effect. The standard library is then used when the Scoper queries the Files effect for modules as it resolves import statements. Use of the standard library can be disabled using the global `--no-stdlib` command-line option. * CI: Checkout submodules recursively for stdlib * Add a new `--no-stdlib` option to shell check * Poke CI * CI: Checkout submodules in the test job		2022-06-30 11:31:08 +02:00
..
Base.hs	Embed standard library in the minijuvix binary (#210)	2022-06-30 11:31:08 +02:00
Examples.hs	Embed standard library in the minijuvix binary (#210)	2022-06-30 11:31:08 +02:00
Positive.hs	Embed standard library in the minijuvix binary (#210)	2022-06-30 11:31:08 +02:00