Issues: kawu/partage
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
Add assertion checking that weight of chart item doesn't change
enhancement
#18
opened Sep 16, 2016 by
kawu
Isolate inference rules in a separate module
enhancement
proposition
#17
opened Sep 16, 2016 by
kawu
Isolate agenda (open set) in a separate module
enhancement
proposition
#16
opened Sep 16, 2016 by
kawu
Test: is the first derivation the lowest-weight derivation?
proposition
#14
opened Jun 20, 2016 by
kawu
Introduce type classes for representing terminals and non-terminals
enhancement
proposition
#13
opened Jun 20, 2016 by
kawu
Matching a foot (aka foot adjoin): should the foot item be stored in the hypergraph?
question
#8
opened Jun 16, 2016 by
kawu
ProTip!
Adding no:label will show everything without a label.