small-steps-0.1.0.0: Small step semantics

Modules

• Control
  Submodules

  • Control.Provenance
  • State
    Submodules

    • Control.State.Transition
      Submodules

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