eliminators

Description

Dependently typed elimination functions using singletons.

Description

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

README.md

`eliminators`

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

Metadata

0.9.3

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all