homepage: https://github.com/conal/ty
changelog-type: ''
hash: 7208989b4ed5e299f5955219c11b04da60e502e1a9f45ee9c06ee8360c3f1595
test-bench-deps: {}
maintainer: conal@conal.net
synopsis: Typed type representations and equality proofs
changelog: ''
basic-deps:
  base: <5
  ghc-prim: -any
all-versions:
- 0.0.2
- 0.1.0
- 0.1.2
- 0.1.3
- 0.1.4
- 0.1.5
- 0.1.6
- 0.1.7
author: Conal Elliott
latest: 0.1.7
description-type: haddock
description: ! 'Typed type representations and equality proofs


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


  Copyright 2009-2012 Conal Elliott; BSD3 license.'
license-name: BSD-3-Clause

homepage: https://github.com/conal/ty
changelog-type: ''
hash: 14f890364129a6542216aa70177e6f561727c4b9927264f4647f64c8f0ccb86b
test-bench-deps: {}
maintainer: conal@conal.net
synopsis: Typed type representations and equality proofs
changelog: ''
basic-deps:
  base: <5
  ghc-prim: -any
all-versions:
- 0.0.2
- 0.1.0
- 0.1.2
- 0.1.3
- 0.1.4
- 0.1.5
- 0.1.6
- 0.1.7
author: Conal Elliott
latest: 0.1.7
description-type: haddock
description: |-
  Typed type representations and equality proofs

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

  Copyright 2009-2012 Conal Elliott; BSD3 license.
license-name: BSD-3-Clause

Update from Hackage at 2019-01-05T15:20:25Z
Update from Hackage at 2019-01-05T15:20:25Z
