tip-haskell-frontend: Convert from Haskell to Tip

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

Convert from Haskell to Tip

Modules

[Last Documentation]

Tip
- Tip.HaskellFrontend

Downloads

tip-haskell-frontend-0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

DanRosen

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1, 0.1.1, 0.2
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), mtl (>=2.1), pretty (>=1.1), pretty-show, QuickCheck (>=2.8), split (>=0.2), tip-haskell-frontend, tip-lib (==0.1) [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
Uploaded	by DanRosen at 2015-06-10T15:38:13Z
Distributions
Executables	tip-ghc
Downloads	1898 total (6 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2016-12-09 [all 6 reports]