Popularity
9.6
Stable
Activity
7.3
Stable
193
12
28

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

singletons alternatives and similar packages

Based on the "Dependent Types" category

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

Add another 'Dependent Types' Package