small-steps-0.1.0.0: Small step semantics
Safe Haskell None
Language Haskell2010

Control.State.Transition

Description

Small step state transition systems.

Documentation

module Control.State.Transition.Simple