Skip to content

Issues: ku-fpg/hermit-shell

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

18 Open 21 Closed
18 Open 21 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

Build issues on GHC 8
#42 opened Sep 28, 2016 by roboguy13
Remote GHCi
#41 opened Jan 15, 2016 by xich
3
Needs to be updated to account for remote-json's use of natural-transformation
#40 opened Jan 15, 2016 by ecaustin
11
Travis Rebuild on HERMIT changes build system enhancement
#38 opened Oct 4, 2015 by andygill
4
Revisit sendCrumb and make it composable
#37 opened Oct 4, 2015 by andygill
4
Highlight difference between steps enhancement
#32 opened Aug 19, 2015 by roboguy13
2
Cheat Sheet
#31 opened Aug 19, 2015 by andygill
1
Logging command enhancement
#30 opened Aug 18, 2015 by roboguy13
1
Quiet mode enhancement
#29 opened Aug 5, 2015 by roboguy13
15
Remove all calls to eval in preparation for the eventual removal of the eval function
#27 opened Jul 17, 2015 by roboguy13
2
Types of shell commands
#26 opened Jul 17, 2015 by andygill
Better error messages enhancement
#23 opened Jul 8, 2015 by roboguy13
15
Port tests
#7 opened May 29, 2015 by andygill
5
Add all ~350 commands to hermit-shell
#5 opened May 29, 2015 by andygill
1
Interactive post-hooks
#4 opened May 28, 2015 by andygill
goto in our DSL
#3 opened May 28, 2015 by andygill
Handling Queries
#2 opened May 28, 2015 by andygill
4
is rhsOf an effect or a query?
#1 opened May 27, 2015 by andygill
2
ProTip! Mix and match filters to narrow down what you’re looking for.