small-steps-1.1.0.1: Small step semantics
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.State.Transition

Description

Small step state transition systems.

Documentation