9 Commits

Author	SHA1	Message	Date
janmasrovira	42d8c6fcf6	Enable autocompletion for the --theme flag (#1519)	2022-09-06 16:15:57 +02:00
Jonathan Cubides	01a44e436d	Refactor (#1420) ... * Big refactor in process * remove unnecessary functions from the prelude * remove comments	2022-08-03 13:20:40 +02:00
janmasrovira	2532b34041	Implement an html documentation generator similar to haddock (#1413) (#1416)	2022-07-28 17:19:07 +02:00
Jonathan Cubides	3b3ea45da9	Rename MiniJuvix to Juvix (#259) ... * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy	2022-07-08 13:59:45 +02:00
Jonathan Cubides	a749575734	Add minijuvix version info and date to HTML output (#186) ... * Add minijuvix version info and date to HTML output * Fix pre-commit	2022-06-21 17:03:22 +02:00
Jonathan Cubides	cc4566f4a6	Add an option to specify the path where to put the HTML output (#179) ... * Add --output-dir option for html generation * minor * Add html test for output-dir flag with (no) recursive gen	2022-06-20 18:12:45 +02:00
Jonathan Cubides	3b0cde27bb	Add CLI improvements and shell testing (#131) ... * Remove input file fields from command opts * [cli] Make version and help commands * Fix on reviews * Fixes for dealing with global options inside subcmds * Fix minijuvix emacs mode and add some instance to GlobalOpts * Remove unrelated code * Propagate globals opts in each cmd parser * Add initial shell tests * Add test-shell to makefile and CI * Fix CI: adding .local/bin to PATH * Fixing CI * Installing shelltest just before running it * Install app for shell testing * Hide global flags after cmd. Fix shell tests accordingly. * Fixing CI * Shell test only run on ubuntu for now	2022-06-09 16:36:07 +02:00
Jonathan Cubides	29c526833d	Revision for package.yaml and minor deletions (#135)	2022-06-01 11:53:06 +02:00
janmasrovira	a24e0379d3	87 refactor warning related stuff (#91) ... * remove all field selectors * add local type signatures * delete Wno-monomorphism-restriction and fix warnings * [tests] inline two error messages * remove Wno-missing-exported-signatures * remove Wno-all-missed-specialisations * remove Wno-missed-specialisations	2022-05-06 11:48:07 +02:00