@hackage hyloutils1.0

Very small programs for hybrid logics

Categories
License
LicenseRef-GPL
Maintainer
dgorin@dc.uba.ar
Links
- Documentation
- No source repository
- Security
Versions
- 1.0 Thu, 5 Jul 2012

Installation
In your cabal file:
Dependencies (0)
- base <5
- base >=4
- containers
- hylolib >=1.4 && <1.5
- mtl
- uniplate
Dependents (1)
@hackage/acme-everything

Package Flags

static

(off by default)

Build a static binary