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.

dependent-map

9.3 0.0 dependent-state VS dependent-map

Dependently-typed finite maps (partial dependent products)
dependent-sum

9.3 0.0 dependent-state VS dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

Learn any GitHub repo in 59 seconds

Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

Promo getonboard.dev