@hackage / tyfam-witnesses

Provide proof witnesses for closed type family evaluation

Latest0.1.1.2

Dependencies

library:tyfam-witnesses (3 dependencies)

@hackage / template-haskell Support library for Template Haskell
- Version: >=2.12 && <2.15
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.10 && <4.13
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5
- License: BSD-3-Clause