@hackage eliminators dependencies

12 results

Support library for Template Haskell

Core data structures and operations

Functions to desugar Template Haskell

Nicer interface for reified information about data types

A promoted and singled version of the base library

Unary natural numbers relying on the singletons infrastructure.

Extra functions I use.

Core data structures and operations

A promoted and singled version of the base library

Unary natural numbers relying on the singletons infrastructure.

A Testing Framework for Haskell

Dependently typed elimination functions using singletons