Skip to content

Issues: ku-fpg/hermit

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
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

Issues list

Broken links to homepage in docs
#185 opened Nov 15, 2019 by jberryman
Substituting from context bindings?
#168 opened Jan 23, 2016 by conal
GHC 8 Support
#163 opened Jan 14, 2016 by xich
Support UnivCo
#161 opened Jan 14, 2016 by xich
HERMIT does not build with HEAD
#156 opened Jan 4, 2016 by andygill
HERMIT documentation needs updated
#155 opened Jan 4, 2016 by andygill
Navigation?
#154 opened Jan 4, 2016 by conal
saveDef, lookupDef replacements?
#152 opened Jan 2, 2016 by conal
Can't test on GHC HEAD
#150 opened Nov 10, 2015 by roboguy13
Trigger CI Builds in hermit-shell
#149 opened Oct 4, 2015 by xich
Fix nub
#147 opened Oct 4, 2015 by xich
Marked Pretty Printer
#146 opened Sep 18, 2015 by xich
ProTip! Type g i on any issue or pull request to go back to the issue listing page.