Packages tagged: correct-by-construction

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