The latest version of tyfam-witnesses is 0.1.1.2-0.
tyfam-witnesses
Version 0.0 revision 0 uploaded by GaborGreif.
Package meta
- Synopsis
- Provide proof witnesses for closed type family evaluation
- Description
Template Haskell routine for generating - GADT capturing the equalities of each type family clause - a function that analyses TypeReps and reify the matching clause
- Author
- Gabor Greif
- Bug reports
- n/a
- Category
- Development
- Copyright
- © Gabor Greif, 2017
- Homepage
- n/a
- Maintainer
- ggreif+tyfam@gmail.com
- Package URL
- n/a
- Stability
- n/a