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 [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 (<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 Sat Jan 5 15:12:55 UTC 2019
Category Data
Home page https://github.com/conal/ty
Source repo head: git clone git://github.com/conal/ty.git
Uploaded by ConalElliott at Thu Feb 25 02:23:56 UTC 2016
Distributions NixOS:0.1.7
Downloads 3851 total (33 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-11-27 [all 1 reports]

Modules

[Index]

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

For package maintainers and hackage trustees