Jan Mas Rovira 69594edc7b Read Package on demand and cache it (#2548) ... This patch dramatically increases the efficiency of `juvix dev root`, which was unnecessarily parsing all dependencies included in the `Package.juvix` file. Other commands that do not require the `Package` will also be faster. It also refactors some functions so that the `TaggedLock` effect is run globally. I've added `singletons-base` as a dependency so we can have `++` on the type level. We've tried to define a type family ourselves but inference was not working properly.		2023-12-06 18:24:59 +01:00
..
Commands	Read Package on demand and cache it (#2548)	2023-12-06 18:24:59 +01:00
TopCommand	Add support for Literate Juvix Markdown (#2448)	2023-11-10 13:55:36 +01:00
App.hs	Read Package on demand and cache it (#2548)	2023-12-06 18:24:59 +01:00
AsmInterpreter.hs	Refactor Core datastructures (#1975)	2023-04-04 18:58:05 +02:00
CommonOptions.hs	Add FileExt type (#2467)	2023-10-25 12:02:12 +02:00
Evaluator.hs	Use a Juvix source file to define a package (#2434)	2023-10-27 12:35:20 +01:00
GlobalOptions.hs	Read Package on demand and cache it (#2548)	2023-12-06 18:24:59 +01:00
Main.hs	Read Package on demand and cache it (#2548)	2023-12-06 18:24:59 +01:00
TopCommand.hs	Read Package on demand and cache it (#2548)	2023-12-06 18:24:59 +01:00