small-steps-1.1.4.0: Small step semantics

small-steps-1.1.4.0

• Control
  Submodules

  •  Control.Provenance
  • State
    Submodules

    •  Control.State.Transition
      Submodules

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