janmasrovira ebfe412d6f Auto complete argument of 'dev core read -t' (#1616) ... autocomplete transformation list in 'dev core read -t'		2022-11-14 16:29:48 +00:00
..
Commands	Auto complete argument of 'dev core read -t' (#1616)	2022-11-14 16:29:48 +00:00
TopCommand	Add translation from Internal to Core (#1567)	2022-11-07 14:47:56 +01:00
App.hs	Add juvix-repl-mode for emacs (#1612)	2022-11-09 16:36:40 +01:00
CommonOptions.hs	Juvix C runtime (#1580)	2022-11-03 09:38:09 +01:00
Evaluator.hs	Add translation from Internal to Core (#1567)	2022-11-07 14:47:56 +01:00
GlobalOptions.hs	Support go to definition for the standard library (#1592)	2022-10-19 15:55:16 +01:00
Main.hs	Compute new entrypoint root when loading a file in the REPL (#1615)	2022-11-10 11:26:38 +00:00
Root.hs	Compute new entrypoint root when loading a file in the REPL (#1615)	2022-11-10 11:26:38 +00:00
TopCommand.hs	Add translation from Internal to Core (#1567)	2022-11-07 14:47:56 +01:00