Popularity
6.1
Stable
Activity
1.2
Declining
15
2
2

Monthly Downloads: 24
Programming language: Haskell
License: LicenseRef-OtherLicense

helf alternatives and similar packages

Based on the "Dependent Types" category

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

Add another 'Dependent Types' Package