Popularity
7.3
Growing
Activity
0.0
Declining
24
6
0

Monthly Downloads: 53
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Latest version: v0.7

eliminators alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view eliminators alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of eliminators or a related project?

Add another 'Dependent Types' Package

README

eliminators

Hackage Hackage Dependencies Haskell Programming Language BSD3 License Build

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


*Note that all licence references and agreements mentioned in the eliminators README section above are relevant to that project's source code only.