| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Patat.Transition.Matrix
Documentation
transition :: Config -> TransitionGen Source #
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Patat.Transition.Matrix
transition :: Config -> TransitionGen Source #