@hackage crem0.1.0.0
Compositional representable executable machines
Installation
Tested Compilers
Dependencies (9)
- base >=4.15 && <4.19
- profunctors >=3.2 && <5.7
- singletons-base >=3.0 && <3.3
- text >=1.2 && <2.1 Show all…
Dependents (0)
Package Flags
errors
(off by default)
enable -Werror
crem stands for compositional representable executable machines. It allows creating state machines (Mealy machines in fact), compose them to build bigger machines out of smaller ones and then run them and draw their flow and their state space.