fsm-oracle
fsm-oracle copied to clipboard
statebox
Finite state machines as graphs
Results
3
fsm-oracle issues
Sort by
recently updated
recently updated
newest added
In `src/PetriFormat.idr` we use `dropContext` to update the type of our TDef which is used in a context with a greater arity than itself. typedefs/typedefs#221 Introduces the same function. When...
Make errors in resulting JSON human-readable instead of indices in Mu