small-steps-1.1.2.0: Small step semantics

Modules

• Control
  Submodules

  •  Control.Provenance
  • State
    Submodules

    •  Control.State.Transition
      Submodules

      •  Control.State.Transition.Extended
      •  Control.State.Transition.Simple