| .. |
|
Compile
|
Fix: add supported targets as option for compile commands (#1983)
|
2023-04-13 14:16:07 +02:00 |
|
Dev
|
Partial incremental highlighting (#2053)
|
2023-05-10 13:09:48 +02:00 |
|
Doctor
|
Refactor CLI (#1527)
|
2022-09-14 16:16:15 +02:00 |
|
Eval
|
Print JuvixCore correctly (#1875)
|
2023-03-15 16:41:39 +01:00 |
|
Extra
|
Support more paths (#2000)
|
2023-04-19 15:56:48 +01:00 |
|
Format
|
Make format command's filepath optional (#2028)
|
2023-04-27 17:33:08 +02:00 |
|
Html
|
Support more paths (#2000)
|
2023-04-19 15:56:48 +01:00 |
|
Repl
|
Pretty print JuvixCore values consistently with Juvix syntax (#1988)
|
2023-04-12 12:52:40 +02:00 |
|
Typecheck
|
Support basic dependencies (#1622)
|
2022-12-20 13:05:40 +01:00 |
|
Base.hs
|
Refactor CLI (#1527)
|
2022-09-14 16:16:15 +02:00 |
|
Clean.hs
|
Add juvix clean to remove project build artifact directory (#2018)
|
2023-04-21 14:21:31 +02:00 |
|
Compile.hs
|
Support more paths (#2000)
|
2023-04-19 15:56:48 +01:00 |
|
Dev.hs
|
Add juvix dev repl command (#1941)
|
2023-03-31 00:57:44 +02:00 |
|
Doctor.hs
|
Update CI to install Smoke, Github actions, and Makefile fixes (#1735)
|
2023-01-24 11:50:23 +01:00 |
|
Eval.hs
|
Test core to geb translation (#1865)
|
2023-03-27 15:32:03 +02:00 |
|
Format.hs
|
Make format command's filepath optional (#2028)
|
2023-04-27 17:33:08 +02:00 |
|
Html.hs
|
Support more paths (#2000)
|
2023-04-19 15:56:48 +01:00 |
|
Init.hs
|
Add juvix global project under xdg directory and other improvements (#1963)
|
2023-04-13 11:27:39 +02:00 |
|
Repl.hs
|
Support module imports in Juvix REPL (#2029)
|
2023-05-08 12:23:15 +02:00 |
|
Typecheck.hs
|
Update typecheck command to check for coverage (#1952)
|
2023-03-30 19:36:38 +02:00 |
