The hylolib package

[Tags:gpl, library]

Properties

Versions 1.3.0, 1.3.1, 1.3.2, 1.3.3, 1.4.0, 1.5.0, 1.5.1
Dependencies array (==0.*), base (>=4.8 && <5), containers (==0.*), mtl (==2.*), pretty (==1.*), random (==1.*), uniplate (==1.6.*) [details]
License GPL
Author Daniel Gorin
Maintainer guillaumh@gmail.com
Stability Unknown
Category Theorem Provers
Source repository head: darcs get http://hub.darcs.net/gh/hylolib
Uploaded Sun Jun 5 20:50:13 UTC 2016 by GuillaumeHoffmann
Distributions NixOS:1.5.1
Downloads 1043 total (14 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-06-05 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees