Skip to content

Pull requests: idris-hackers/atom-language-idris

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
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add WSL Idris installation compatibility
#263 opened Mar 31, 2024 by jmanuel1 Loading…
Bump es5-ext from 0.10.52 to 0.10.63 dependencies Pull requests that update a dependency file
#261 opened Feb 27, 2024 by dependabot bot Loading…
use idris-ide-client
#251 opened Jun 9, 2020 by archaeron Loading…
Better default keymap prefix Ctrl-Alt → Ctrl-i
#204 opened Apr 28, 2018 by ulidtko Loading…
highlight function parameters
#94 opened Feb 23, 2016 by archaeron Loading…
Should have a much better startup time
#92 opened Feb 19, 2016 by archaeron Loading…
mark errors on the line numbers
#33 opened Jun 12, 2015 by archaeron Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.