@hackage LTS0.1.0.0

LTS: Labelled Transition System

Categories
License
MIT
Maintainer
aeeralla@galois.com
Links
Versions
- 0.1.0.0 Wed, 8 Apr 2020

Installation
In your cabal file:
Tested Compilers
Dependencies (2)
- base >=4.8.2.0 && <5
- fin >=0.1.1 && <0.2
Dependents (0)

This is an implementation of labelled transition system and follow the README for information on importing and getting started.