Popularity
7.2
Growing
Activity
3.1
Declining
28
5
0
Monthly Downloads: 25
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
Agda is a dependently typed programming language / interactive theorem prover. -
agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Promo
www.sonarqube.org
Do you think we are missing an alternative of eliminators or a related project?
Popular Comparisons
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.