issues
search
anoma
/
juvix-mode
The Juvix Emacs mode
https://github.com/anoma/juvix
GNU General Public License v3.0
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove `juvix-input`
#26
janmasrovira
closed
1 week ago
0
Nockma mode
#25
janmasrovira
closed
1 week ago
0
Update readme
#24
janmasrovira
closed
2 weeks ago
0
Update the readme to properly give a straight config
#23
mariari
opened
2 weeks ago
0
Fix launching the Juvix repl
#22
mariari
closed
2 weeks ago
0
Weird behaviour of magit blame in Juvix highlighting mode
#21
mariari
opened
2 weeks ago
0
Disabling Juvix Input mode causes a weird error with evil
#20
mariari
opened
3 weeks ago
1
Juvix-input-mode causes Issue with Evil
#19
mariari
opened
3 weeks ago
1
xref-psuh-marker-stack puts the marker so `xref-go-back` works
#18
mariari
closed
2 weeks ago
1
Do not load file after going to definition
#17
janmasrovira
closed
3 weeks ago
0
Append global flags to repl flags
#16
janmasrovira
closed
3 weeks ago
0
Fix the :type of juvix-global-flags
#15
janmasrovira
closed
3 weeks ago
0
Add `juvix-load` to the `juvix-mode-hook`
#14
janmasrovira
closed
2 months ago
0
Save buffer before formatting
#13
janmasrovira
closed
2 months ago
0
save before format
#12
tg-x
closed
2 months ago
0
Update Juvix input's method
#11
janmasrovira
closed
2 months ago
0
Fix invalid escape char syntax error
#10
tg-x
closed
2 months ago
2
Rewrite most of juvix-mode
#9
janmasrovira
closed
4 months ago
0
Gifs show obsolete syntax
#8
janmasrovira
closed
2 weeks ago
0
Preserve scrolling position when formatting
#7
janmasrovira
closed
2 weeks ago
1
Removing Juvix Input mode
#6
mariari
closed
1 week ago
0
Rename face inductive -> type
#5
janmasrovira
closed
1 year ago
0
Formatting and readability changes
#4
mariari
closed
1 year ago
2
Add `--with-comments` to the `juvix-format-buffer`
#3
janmasrovira
closed
1 year ago
0
juvix-mode: Would be nice to have a choice on where to jump
#1
mariari
opened
2 years ago
0
juvix-mode Jump back errors
#2
mariari
closed
2 weeks ago
3