Packages tagged: typestate

typestates
Compile-time state machine validation for Nim. Invalid transitions don't compile.
Pure Nim state-machine design-patterns nim-lang correct-by-construction typestate linux macos win