Popularity
8.2
Declining
Activity
7.8
-
20
3
21

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

dependent-sum alternatives and related 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

dependent-sum Recommendations

There are no recommendations yet. Be the first to promote dependent-sum!

Have you used dependent-sum? Share your experience. Write a short recommendation and dependent-sum, you and your project will be promoted on Awesome Haskell.
Recommend dependent-sum

Recently added dependent-sum resources

Do you know of a usefull tutorial, book or news relevant to dependent-sum?
Be the first to add one!