@hackage hylolib1.5.3

Tools for hybrid logics related programs

Categories
License
LicenseRef-GPL
Maintainer
guillaumh@gmail.com
Links
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 (7)
- array <1
- base <5
- containers <1
- mtl >=2
- random >=1
- pretty >=1
Dependents (5)
@hackage/hyloutils, @hackage/acme-everything, @hackage/hgen, @hackage/hylotab, @hackage/HTab