Skip to content

Issues: idris-hackers/idris-mode

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

51 Open 179 Closed
51 Open 179 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Flymake Support nice to have
#625 opened Apr 22, 2024 by jgarte
3
Nested Packages Can't Find Their Parents
#624 opened Feb 20, 2024 by rvs314
rlwrap for repl
#617 opened Mar 7, 2023 by ju-sh
4
Triage extant issues and PRs
#597 opened Dec 13, 2022 by jfdm Preparing for a 1.1 release.
Flycheck is broken.
#596 opened Dec 13, 2022 by jfdm Preparing for a 1.1 release.
4
Make sure the CHANGELOG is up-to-date.
#595 opened Dec 13, 2022 by jfdm Preparing for a 1.1 release.
Does compile&execute work?
#552 opened May 25, 2022 by gallais
1
integrate idris-mode and idris2-mode
#539 opened Jul 28, 2021 by ywata
Bad syntax highlighting of .lidr files
#506 opened Dec 29, 2019 by nicolabotta
3
~/.idris path is not created automatically
#504 opened Aug 11, 2019 by alex-ilin
1
idris-send: Buffer *idris-repl* has no process
#502 opened May 9, 2019 by mhwombat
6
Add .ibc to ignored file extensions
#501 opened Apr 25, 2019 by nickdrozd
3
Repl extremely slow on windows spacemacs
#500 opened Apr 22, 2019 by wangboyu-langya
4
Package load path
#497 opened Mar 20, 2019 by NobbZ
6
Blodwen adaptation
#489 opened Dec 29, 2018 by cfhammill
12
rename/refactor symbol? nice to have
#481 opened Jun 20, 2018 by doofin
3
Using double quotes ('"') or character sequences for comments ("--" or "{-") in inline documentation severely messes up the highlighting.
#479 opened May 16, 2018 by greatBigDot
2
Images in README are HTTP 403'd.
#478 opened Apr 30, 2018 by LeifW
1
Idris mode inferring unapplied function types
#476 opened Apr 14, 2018 by Abhiroop
6
Cannot load idris
#475 opened Feb 20, 2018 by colin-adams
7
ob-idris support?
#470 opened Dec 14, 2017 by zwild
2
C-c C-l has to be invoked twice before everything runs properly
#458 opened Aug 16, 2017 by zenntenn
2
C-c C-l cannot import modules
#456 opened Jul 24, 2017 by XStargate
7
Color looks very strange in idris-repl
#446 opened May 10, 2017 by stackcats
1
idris-make-lemma doesn't extract implict arguments idris compiler bug
#426 opened Aug 9, 2016 by xoltar
2
ProTip! Mix and match filters to narrow down what you’re looking for.