ty: Typed type representations and equality proofs

[ bsd3, data, library ] [ Propose Tags ] [ Report a vulnerability ]

Typed type representations and equality proofs

Project wiki page: http://haskell.org/haskellwiki/ty

Copyright 2009-2012 Conal Elliott; BSD3 license.

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0.2, 0.1.0, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.1.7
Dependencies base (<5), ghc-prim [details]
License BSD-3-Clause
Copyright (c) 2009-2013 by Conal Elliott
Author Conal Elliott
Maintainer conal@conal.net
Revised Revision 1 made by HerbertValerioRiedel at 2019-01-05T15:12:55Z
Category Data
Home page https://github.com/conal/ty
Source repo head: git clone git://github.com/conal/ty.git
Uploaded by ConalElliott at 2016-02-25T02:23:56Z
Distributions NixOS:0.1.7
Reverse Dependencies 5 direct, 11 indirect [details]
Downloads 7268 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-11-27 [all 1 reports]