ty: Typed type representations and equality proofs

[ bsd3, data, library ] [ Propose Tags ]

Typed type representations and equality proofs

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

Copyright 2009-2012 Conal Elliott; BSD3 license.

Versions [RSS] [faq] 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 (<4.9), ghc-prim (<0.5) [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:53Z
Category Data
Home page https://github.com/conal/ty
Source repo head: git clone git://github.com/conal/ty.git
Uploaded by ConalElliott at 2013-07-02T21:29:58Z
Distributions NixOS:0.1.7
Downloads 6662 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




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

For package maintainers and hackage trustees