@hackage hylolib1.5.5

Tools for hybrid logics related programs

Categories
License
LicenseRef-GPL
Maintainer
guillaumh@gmail.com
Links
Versions
- 1.5.5 Wed, 15 Oct 2025
- 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

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