dependent-state alternatives and similar packages
Based on the "dependent" category.
Alternatively, view dependent-state alternatives based on common mentions on social networks and blogs.
9.3 0.0 dependent-state VS dependent-mapDependently-typed finite maps (partial dependent products)
9.3 0.0 dependent-state VS dependent-sumDependent sums and supporting typeclasses for comparing and displaying them
Do you think we are missing an alternative of dependent-state or a related project?