eliminators icon indicating copy to clipboard operation
eliminators copied to clipboard

verified publisher icon RyanGlScott
→

Metadata

Dependently typed elimination functions using singletons

eliminators

Hackage Hackage Dependencies Haskell Programming Language BSD3 License Build Status

This library provides eliminators for inductive data types, leveraging the power of the singletons library to allow dependently typed elimination.

← Metadata

27
Stars
0
Forks
Watchers

Owner

verified publisher icon RyanGlScott

Metadata

Dependently typed elimination functions using singletons

Back