@hackage simple-ltl1.0.0

A simple LTL checker

Categories
- Language
License
BSD-3-Clause
Maintainer
johnw@newartisans.com
Links
- Homepage
- Documentation
- No source repository
Versions
- 2.1.0 Mon, 22 Apr 2019
- 2.0.0 Sun, 21 Apr 2019
- 1.0.0 Sun, 21 Apr 2019
- 0.1.0.0 Fri, 19 Apr 2019

Installation
In your cabal file:
Dependencies (2)
- base >=4.9 && <5.0
- deepseq
Dependents (0)