Skip to content

Issues: idris-hackers/atom-language-idris

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

50 Open 109 Closed
50 Open 109 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

changeDirectory() doesn't work with Idris 2
#255 opened Mar 25, 2022 by memoryallocator
2
Type Providers which output to stdout can hang the Atom mode
#245 opened May 16, 2020 by donald-pinckney
4
Multi-line pkgs parsed incorrectly bug
#241 opened Jan 14, 2020 by SmiVan
2
Some keybindings don't work (e.g. Ctrl+Alt+S)
#234 opened Nov 26, 2019 by mattnewport
1
Default keybindings conflict with "Terminator"
#226 opened Jan 27, 2019 by CodingCellist
1
Uncaught Cannot call write after a stream was destroyed
#224 opened Jan 3, 2019 by CodingCellist
Uncaught At 0 expected: ( found: b bug
#223 opened Jan 3, 2019 by CodingCellist
1
Run with bazel built idris projects
#222 opened Dec 12, 2018 by shmish111
4
Idris compiler crash
#221 opened Dec 2, 2018 by machunter
2
Error -4058 can't find idris executable
#220 opened Nov 5, 2018 by GSmithApps
13
Blodwen compatibility enhancement
#219 opened Oct 28, 2018 by justjoheinz
3 tasks
6
Uncaught Error: This socket has been ended by the other party bug idris
#208 opened Sep 2, 2018 by bukzor
11
[FEATURE] Restart idris process every n-th typecheck? enhancement
#205 opened May 31, 2018 by canonic-epicure
1
Can't find import enhancement
#200 opened Dec 18, 2017 by starper
1
Supply keybinding to jump to the next or previous hole enhancement
#198 opened Dec 17, 2017 by turion
Type-level hole misnamed in premise bug idris
#195 opened Nov 27, 2017 by hubbards
1
Uncaught At 0 expected: ( found: f
#193 opened Oct 15, 2017 by sjmackenzie
2
REPL doesn't use configured font enhancement
#191 opened Oct 11, 2017 by DjebbZ
2
Uncaught At 0 expected: ( found: l duplicate
#179 opened Aug 3, 2017 by jheiling
5
Uncaught At 0 expected: ( found: i duplicate
#178 opened Aug 3, 2017 by jheiling
1
Uncaught At 0 expected: ( found: E duplicate
#175 opened Jul 14, 2017 by DUVELA
2
Uncaught At 0 expected: ( found: 5
#174 opened Jul 4, 2017 by marklemay
2
Changes required due to TextBuffer.save becoming async in Atom 1.19
#173 opened Jun 14, 2017 by maxbrunsfeld
2
Support literate idris enhancement
#171 opened Apr 21, 2017 by justjoheinz
Changing font size / customizing package
#139 opened Dec 16, 2016 by allancto
5
ProTip! Type g i on any issue or pull request to go back to the issue listing page.