Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-08-10 | Modify README | JSDurand | |
Working my way towards a user-friendly introduction to the package. | |||
2023-07-30 | update README | JSDurand | |
Use a better formatting style. | |||
2023-07-22 | Add some auxiliary data. | JSDurand | |
Try to fix some minor issues. | |||
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. |