The latest version of ty is 0.1.7-1.
ty
Version 0.0.2 revision 0 uploaded by ConalElliott.
Package meta
- Synopsis
- Typed type representations and equality proofs
- Description
Typed type representations and equality proofs
Project wiki page: http://haskell.org/haskellwiki/ty
Copyright 2009 Conal Elliott; BSD3 license.
- Author
- Conal Elliott
- Bug reports
- n/a
- Category
- Data
- Copyright
- (c) 2009 by Conal Elliott
- Homepage
- http://haskell.org/haskellwiki/ty
- Maintainer
- conal@conal.net
- Package URL
- http://code.haskell.org/ty
- Stability
- experimental