The tip-haskell-frontend package

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

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
Executables tip-ghc
Downloads 318 total (3 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
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