summaryrefslogtreecommitdiff
path: root/README
AgeCommit message (Collapse)Author
2023-07-22Add some auxiliary data.JSDurand
Try to fix some minor issues.
2022-11-15Initial commitJSDurand
Basic GNU standard files are added, and we now stop worrying about monadic anamorphisms. The current focus is on testing the correctness of the algorithm, so I need convenient support for manipulating, interpreting, examining, and per chance animating nondeterministic automata.