anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-14 08:27:03 +03:00
Code Issues Projects Releases Wiki Activity
6499100d67
juvix/juvix-mode
History
Paul Cadman d1ec8926c4
Add an emacs function to restart the REPL (#1618)
2022-11-14 09:38:07 +00:00
..
flycheck-juvix.el Support go to definition for the standard library (#1592) 2022-10-19 15:55:16 +01:00
juvix-customize.el Support go to definition for the standard library (#1592) 2022-10-19 15:55:16 +01:00
juvix-highlight.el Rename MiniJuvix to Juvix (#259) 2022-07-08 13:59:45 +02:00
juvix-input.el Add typecheck and internal command (#270) 2022-07-12 19:08:03 +02:00
juvix-mode.el Add juvix-repl-mode for emacs (#1612) 2022-11-09 16:36:40 +01:00
juvix-repl.el Add an emacs function to restart the REPL (#1618) 2022-11-14 09:38:07 +00:00