Age | Commit message (Expand) | Author |
---|---|---|
2023-01-28 | a prototype of an item derivation forest | JSDurand |
2023-01-20 | chain: a prototype is added. | JSDurand |
2023-01-11 | Record left-linear expansion and forest format | JSDurand |
2023-01-05 | singly labelled graphs | JSDurand |