The latest version of ty is 0.1.7-1.
ty
Version 0.1.6 revision 1 uploaded by HerbertValerioRiedel.
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-2012 Conal Elliott; BSD3 license.
- Author
- Conal Elliott
- Bug reports
- n/a
- Category
- Data
- Copyright
- (c) 2009-2013 by Conal Elliott
- Homepage
- https://github.com/conal/ty
- Maintainer
- conal@conal.net
- Package URL
- n/a
- Stability
- experimental