The tip-haskell-frontend package

[Tags:bsd3, library, program]

Convert from Haskell to Tip

Properties

Versions 0.1, 0.1.1, 0.2
Change log changelog
Dependencies base (==4.*), bytestring (>=0.9.2), containers (>=0.4), directory (>=1.1), filepath (>=1.3), geniplate-mirror (>=0.7.1), ghc, ghc-paths (>=0.1), ghc-simple (>=0.1.2.0 && <0.2), mtl (>=2.1), optparse-applicative, pretty (>=1.1), pretty-show, QuickCheck (>=2.8), split (>=0.2), tip-haskell-frontend, tip-lib (==0.2.*) [details]
License BSD3
Author Dan Rosén
Maintainer danr@chalmers.se
Category Theorem Provers
Home page http://tip-org.github.io
Bug tracker http://github.com/tip-org/tools/issues
Source repository head: git clone http://github.com/tip-org/tools(tip-haskell-frontend)
Uploaded Wed Oct 28 08:36:48 UTC 2015 by DanRosen
Distributions NixOS:0.2
Downloads 299 total (2 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-10-30 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees