-
Notifications
You must be signed in to change notification settings - Fork 22
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Highlighting broken when "case" expression inside type declaration
#130
opened Nov 4, 2016 by
Termina1
Result of running a command is inserted into the wrong place
bug
#115
opened May 28, 2016 by
mpickering
When opening the REPL view the input should get focus
enhancement
#97
opened Feb 29, 2016 by
justjoheinz
Should Atom warn about possibly non-total recursive functions?
#87
opened Nov 15, 2015 by
justjoheinz
IPKG: add commands like idris --build after merging the ipkg branch
enhancement
#65
opened Sep 15, 2015 by
archaeron
Previous Next
ProTip!
Follow long discussions with comments:>50.