Popularity
6.8
Stable
Activity
5.4
Declining
21
4
0

Monthly Downloads: 123
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License

eliminators alternatives and similar packages

Based on the "Dependent Types" category

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

Add another 'Dependent Types' Package