tip-haskell-frontend: Convert from Haskell to Tip
Convert from Haskell to Tip
Downloads
- tip-haskell-frontend-0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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 | 1896 total (7 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] |