@hackage hylolib1.3.0

Tools for hybrid logics related programs

Categories
License
LicenseRef-GPL
Maintainer
dgorin@dc.uba.ar
Links
- Documentation
- No source repository
Versions
- 1.5.4 Thu, 25 Apr 2019
- 1.5.3 Fri, 14 Oct 2016
- 1.5.2 Fri, 7 Oct 2016
- 1.5.1 Sun, 5 Jun 2016
- 1.5.0 Fri, 3 Jun 2016
- 1.4.0 Thu, 5 Jul 2012

Installation
In your cabal file:
Dependencies (8)
- array <1
- base >=4
- containers <1
- mtl <2
- random >=1
- QuickCheck <2
Dependents (5)
@hackage/hyloutils, @hackage/acme-everything, @hackage/hgen, @hackage/hylotab, @hackage/HTab