tip-haskell-frontend: Convert from Haskell to Tip

[ bsd3, library, program, theorem-provers ] [ Propose Tags ]

Convert from Haskell to Tip

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.1, 0.2
Change log changelog
Dependencies base (>=4 && <5), 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 && <0.3) [details]
License BSD-3-Clause
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 repo head: git clone http://github.com/tip-org/tools(tip-haskell-frontend)
Uploaded by DanRosen at 2015-10-28T08:36:48Z
Distributions
Executables tip-ghc
Downloads 1939 total (9 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-10-30 [all 1 reports]