.. |
Asm
|
Fix: add supported targets as option for compile commands (#1983)
|
2023-04-13 14:16:07 +02:00 |
Core
|
Fix: add supported targets as option for compile commands (#1983)
|
2023-04-13 14:16:07 +02:00 |
DisplayRoot
|
Support basic dependencies (#1622)
|
2022-12-20 13:05:40 +01:00 |
Geb
|
Add juvix global project under xdg directory and other improvements (#1963)
|
2023-04-13 11:27:39 +02:00 |
Highlight
|
Support basic dependencies (#1622)
|
2022-12-20 13:05:40 +01:00 |
Internal
|
Add dev core from-concrete command (#1833)
|
2023-02-10 12:37:28 +01:00 |
Parse
|
Support basic dependencies (#1622)
|
2022-12-20 13:05:40 +01:00 |
Repl
|
Pretty print JuvixCore values consistently with Juvix syntax (#1988)
|
2023-04-12 12:52:40 +02:00 |
Runtime
|
Fix: add supported targets as option for compile commands (#1983)
|
2023-04-13 14:16:07 +02:00 |
Scope
|
Print comments when pretty printing concrete syntax (#1737)
|
2023-01-24 16:15:24 +01:00 |
Termination
|
Update CI to install Smoke, Github actions, and Makefile fixes (#1735)
|
2023-01-24 11:50:23 +01:00 |
Asm.hs
|
Update CI to install Smoke, Github actions, and Makefile fixes (#1735)
|
2023-01-24 11:50:23 +01:00 |
Core.hs
|
Add dev core from-concrete command (#1833)
|
2023-02-10 12:37:28 +01:00 |
DisplayRoot.hs
|
Update CI to install Smoke, Github actions, and Makefile fixes (#1735)
|
2023-01-24 11:50:23 +01:00 |
Geb.hs
|
Fix Core-To-Geb translation (#1863)
|
2023-02-28 18:49:44 +01:00 |
Highlight.hs
|
Ide improvements (#2009)
|
2023-04-19 10:46:58 +01:00 |
Internal.hs
|
Add dev core from-concrete command (#1833)
|
2023-02-10 12:37:28 +01:00 |
Options.hs
|
Add juvix dev repl command (#1941)
|
2023-03-31 00:57:44 +02:00 |
Parse.hs
|
Update CI to install Smoke, Github actions, and Makefile fixes (#1735)
|
2023-01-24 11:50:23 +01:00 |
Runtime.hs
|
Update CI to install Smoke, Github actions, and Makefile fixes (#1735)
|
2023-01-24 11:50:23 +01:00 |
Scope.hs
|
Keep regular comments in html output (#1766)
|
2023-01-27 13:24:28 +01:00 |
Termination.hs
|
Update CI to install Smoke, Github actions, and Makefile fixes (#1735)
|
2023-01-24 11:50:23 +01:00 |