Popularity
7.1
Declining
Activity
4.6
Declining
28
5
0
Monthly Downloads: 24
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.
-
agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
Promo
coderabbit.ai

Do you think we are missing an alternative of eliminators or a related project?
README
eliminators
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.