issues
search
idris-community
/
idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
22
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
State of the Project
#42
jgarte
opened
6 months ago
0
Is this repo retired/deprecated?
#41
sebeaumont
closed
8 months ago
3
How to use Pack dependencies?
#40
l-monnier
opened
1 year ago
1
Ignore errors when completing
#39
jeroendehaas
opened
1 year ago
1
Add save-excursion while creating warning overlay
#38
xavierzwirtz
opened
1 year ago
0
The Customization variable "Idris2 Source Locations" now works
#37
redfish64
opened
1 year ago
0
`*idris2-notes*` buffer keeps stealing focus when there's an error if `company-mode` is enabled
#36
ehamberg
opened
1 year ago
8
Kill buffer and it's window if the buffer was the only buffer in windows history.
#35
keram
closed
2 years ago
1
Make focus to Idris info buffer configurable
#34
keram
closed
1 year ago
1
Document dependencies
#33
wuyoli
opened
2 years ago
0
Eldoc does not show type
#32
kiana-S
opened
2 years ago
1
Add additional installation instructions for Doom Emacs
#31
ohad
closed
2 years ago
0
Idris holes are buggy
#30
olynch
opened
2 years ago
3
Error when loading file in doom emacs
#29
olynch
closed
2 years ago
2
[ fix ] generate-def does work!
#28
gallais
opened
2 years ago
0
idris2-complete-at-point throws error
#27
xavierzwirtz
opened
2 years ago
2
If `idris2 --ide-mode-socket` is already running, `idris2-run` mistakenly tries to connect to port 98
#26
rntz
opened
2 years ago
1
The README's advice for installing idris2-mode can break emacs startup
#25
rntz
opened
2 years ago
2
[ fix ] contextual menu & hide broken commands
#24
gallais
closed
2 years ago
0
The REPL freezes doom emacs 29.0.50
#23
ribosomerocker
closed
2 years ago
4
[ new ] auto completions
#22
gallais
closed
2 years ago
0
[ new ] intro command
#21
gallais
closed
2 years ago
0
[ fix ] compile-and-execute menu
#20
gallais
closed
2 years ago
0
[ new ] refine command
#19
gallais
closed
2 years ago
0
[ fix ] remove ibc deletions
#18
gallais
closed
2 years ago
0
[ fix ] Implement `idris2-docs-at-point`
#17
ska80
closed
2 years ago
1
idris2-add-clause doesn't send a message when cursor is on a dash (`-`)
#16
ohad
closed
1 year ago
0
[ new ] hiding, renaming are about to become keywords
#15
gallais
opened
2 years ago
0
[ new, ipkg ] Add new `langversion` IPKG keyword
#14
ska80
closed
2 years ago
1
Bugfix: fix ranges for warnings/errors
#13
ohad
closed
2 years ago
0
Release for IDE protocol v2 (1.1) breaks syntax highlighting
#12
risavkarna
closed
2 years ago
4
Update semantic highlighting code in line with the update IDE protocol
#11
ohad
closed
2 years ago
2
Update IPKG keywords
#10
ska80
closed
3 years ago
1
Fix compiling to bytecode
#9
ska80
closed
2 years ago
0
[ fix idris-lang/idris2#1744 ] Send position together with name candidate
#8
gallais
closed
3 years ago
0
Only refresh ELPA cache if there's at least one package we need to in…
#7
gergoerdi
closed
3 years ago
2
[ cosmetic ] have postulate inherit from unsafe rather than function
#6
gallais
closed
3 years ago
0
[ cleanup ] use `cadr` to cleanup text-face pcase
#5
gallais
closed
3 years ago
0
[ fix ] do not drop the last character of the case split
#4
gallais
closed
3 years ago
0
Bugfix: use let* form for logo selection
#3
ohad
closed
3 years ago
0
Improve logo-display support for dark-themes
#2
ohad
closed
3 years ago
0
Rebalance the parentheses (fixes an error 'make' complains about)
#1
ohad
closed
3 years ago
0