-
Notifications
You must be signed in to change notification settings - Fork 9
Pull requests: ku-fpg/hermit
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add addHermitCoreRules method to the HasCoreRules class.
#172
by conal
was merged Feb 25, 2016
Loading…
Documentation: clarify that callDataConT succeeds for only *saturated* data constructors, ...
#158
by conal
was merged Jan 6, 2016
Loading…
Moved RULES to Main modules (and removed a couple INLINEs)
#142
by roboguy13
was merged Aug 5, 2015
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.