summaryrefslogtreecommitdiff
path: root/graph/src/labelled
AgeCommit message (Expand)Author
2023-07-08Finished the Emacs binding.JSDurand
2023-06-02Fix a bug of duplication from planting after sploingJSDurand
2023-02-27before a major refactorJSDurand
2023-02-12Added the functionality of split or clone.JSDurand
2023-02-03Finally produced the first correct forestJSDurand
2023-01-28a prototype of an item derivation forestJSDurand
2023-01-22forest: clone correctlyJSDurand
2023-01-20chain: a prototype is added.JSDurand
2023-01-13forest seems to be completedJSDurand
2023-01-11Record left-linear expansion and forest formatJSDurand
2023-01-06Save before system restart.JSDurand
2023-01-05singly labelled graphsJSDurand