-
Notifications
You must be signed in to change notification settings - Fork 8
Pull requests: TyGuS/hoogle_plus
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix example generation and restrict
Int
range
#157
by mistzzt
was closed Feb 1, 2021
•
Review required
fix issues for function arities more than 2; fix issues for function …
#149
by aaronguo1996
was merged Apr 24, 2020
•
Review required
Implement strategy 1 and upload script comparing strategy
#145
by aaronguo1996
was merged Apr 23, 2020
Loading…
Optimize not failing check and implement more examples
#135
by mistzzt
was merged Apr 17, 2020
Loading…
Pretty-print HOF IOs, Fix non-termination evaluation
#131
by mistzzt
was merged Apr 13, 2020
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.