@hackage ty0.1.7

Typed type representations and equality proofs

Categories
License
BSD-3-Clause
Maintainer
conal@conal.net
Links
Versions
- 0.1.7 Sat, 5 Jan 2019
- 0.1.6 Sat, 5 Jan 2019
- 0.1.5 Sat, 5 Jan 2019
- 0.1.4 Sat, 5 Jan 2019
- 0.1.3 Sat, 5 Jan 2019
- 0.1.2 Sat, 5 Jan 2019

Installation
In your cabal file:
Dependencies (2)
- base <5
- ghc-prim
Dependents (5)
@hackage/acme-everything, @hackage/shady-gen, @hackage/data-treify, @hackage/type-unary, @hackage/shady-graphics

Typed type representations and equality proofs

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

Copyright 2009-2012 Conal Elliott; BSD3 license.