@hackage eliminators dependencies

10 results

Support library for Template Haskell

Core data structures and operations

Functions to desugar Template Haskell

Nicer interface for reified information about data types

Basic singleton types and definitions

Extra functions I use.

Core data structures and operations

Basic singleton types and definitions

A Testing Framework for Haskell

Dependently typed elimination functions using singletons