@hackage ty0.1.3

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 <4.9
- ghc-prim <0.5
Dependents (1)
@hackage/type-unary

Typed type representations and equality proofs

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

Copyright 2009-2012 Conal Elliott; BSD3 license.