| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-01-20 | chain: a prototype is added. | JSDurand | |
| I have an ostensibly working prototype now. Further tests are needed to make sure that the algorithm meets the time complexity requirement, though. | |||
| 2022-11-15 | Initial commit | JSDurand | |
| 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. | |||
