small-steps-0.1.0.0: Small step semantics

Index - ?

?!Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
?!:Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition