About

Metadata

  • Last updated , by HerbertValerioRiedel
  • License BSD-3-Clause
  • Maintained by: conal@conal.net

  • Lottery factor: 0

Links

Installation

Readme

Typed type representations and equality proofs

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

Copyright 2009-2012 Conal Elliott; BSD3 license.