@hackage / eliminators

Dependently typed elimination functions using singletons

Latest0.9.7

About

Metadata

  • Last updated , by ryanglscott
  • License BSD-3-Clause

  • Maintained by: Ryan Scott <ryan.gl.scott@gmail.com>

  • Lottery factor: 1

Links

Installation

Readme

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.