@hackage ty0.0.2

Typed type representations and equality proofs

Categories
License
BSD-3-Clause
Maintainer
conal@conal.net
Links
- Homepage
- Documentation
- No source repository
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 (1)
- base <5
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 Conal Elliott; BSD3 license.