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?
dependent-sum RecommendationsThere 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.
Recently added dependent-sum resources
Be the first to add one!