idris-hackers/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Emacs LispGPL-3.0
Issues
- 0
Regexp for recognising source directories was wrong.
#633 opened by jfdm - 2
The State of the CI.
#629 opened by jfdm - 2
Nested Packages Can't Find Their Parents
#624 opened by rvs314 - 0
idris-mode versus idris2-mode
#626 opened by jgarte - 3
Flymake Support
#625 opened by jgarte - 1
- 1
Loading file in REPL fails: wrong-type-argument
#620 opened by rnikander - 3
improved repl
#618 opened by kuribas - 4
rlwrap for repl
#617 opened by ju-sh - 19
- 1
`idris-quit` throws error when `*idris-proof-script*` buffer is present and `hs-minor-mode` activated
#570 opened by keram - 4
Flycheck is broken.
#596 opened by jfdm - 0
Backport idris2-jump-to-def to idris-mode
#593 opened by keram - 2
- 0
Triage extant issues and PRs
#597 opened by jfdm - 0
Make sure the CHANGELOG is up-to-date.
#595 opened by jfdm - 1
Does compile&execute work?
#552 opened by gallais - 6
[idris2-mode] "Unused lexical variable 'name'"
#543 opened by gergoerdi - 5
Wrong number of arguments to Completion at Point
#550 opened by ZachFontenot - 1
[RFC] Change branch from `master` to `main`
#532 opened by jfdm - 0
integrate idris-mode and idris2-mode
#539 opened by ywata - 1
idris-list-compiler-notes: Symbol’s function definition is void: idris2-buffer-name
#530 opened by bixuanzju - 1
~/.idris path is not created automatically
#504 opened by alex-ilin - 0
- 3
Navigation
#508 opened by andreas-roehler - 2
Proof search fails with Idris 2
#509 opened by scotek - 3
Case splitting results in non-unique hole name
#512 opened by scotek - 5
- 12
Blodwen adaptation
#489 opened by cfhammill - 5
Better support for :browse in REPL
#490 opened by Kazark - 1
Prepare new release
#499 opened by jsoo1 - 3
Bad syntax highlighting of .lidr files
#506 opened by nicolabotta - 0
- 6
idris-send: Buffer *idris-repl* has no process
#502 opened by mhwombat - 3
Add .ibc to ignored file extensions
#501 opened by nickdrozd - 4
Repl extremely slow on windows spacemacs
#500 opened by wangboyu-langya - 3
Strange syntax highlighting
#498 opened by mhwombat - 6
Package load path
#497 opened by NobbZ - 3
rename/refactor symbol?
#481 opened by doofin - 3
- 2
Remove support for emacs 24?
#492 opened by jsoo1 - 2
Using double quotes ('"') or character sequences for comments ("--" or "{-") in inline documentation severely messes up the highlighting.
#479 opened by greatBigDot - 7
- 7
Cannot load idris
#475 opened by colin-adams - 2
ob-idris support?
#470 opened by zwild - 6
Idris mode inferring unapplied function types
#476 opened by Abhiroop - 1
Images in README are HTTP 403'd.
#478 opened by LeifW - 5
- 0
- 0