Popularity
8.4
Growing
Activity
7.4
Growing
22
5
21

Monthly Downloads: 345
Programming language: Haskell
License: LicenseRef-PublicDomain
Tags: Data     Dependent Types     Dependent    

dependent-sum alternatives and similar packages

Based on the "dependent" category

Do you think we are missing an alternative of dependent-sum or a related project?

Add another 'dependent' Package