Popularity
8.3
Stable
Activity
7.5
-
21
4
21

Monthly Downloads: 287
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!