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, 1.5.2, 1.5.3
Dependencies array (==0.*), base (>=4.8 && <5), containers (==0.*), mtl (==2.*), pretty (==1.*), random (==1.*), uniplate (>=1.6.12 && <1.7) [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 Fri Oct 14 15:56:05 UTC 2016 by GuillaumeHoffmann
Distributions NixOS:1.5.3
Downloads 1129 total (38 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-10-14 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees