any thoughts on a custom DSL for defining and verifying abstract state machines and then machinery for generators for different languages/libraries/environments/visualizations?
I find the DSL much easier to wrap my head around than the json format of Xstate.