dependent-sum 0.5

27 Reverse deps Accepted versions
aeson-gadt-th -any
avr-shake ==0.2.*
beam-migrate >=0.4 && <0.6
dependent-map >=0.3.2
dependent-monoidal-map -any
dependent-sum-aeson-orphans -any
dependent-sum-template >=0.2 && <0.5
duckling >=0.3.2.2 && <0.5
fraxl ==0.4.*
hnix ==0.4.*
lambdabot-core >=0.3 && <0.6
otp-authenticator -any
prim-uniq -any
reflex >=0.3 && <0.5
reflex-basic-host >=0.4 && <0.5
reflex-dom -any
reflex-dom-core >=0.3 && <0.5
reflex-gloss >=0.3.2.1 && <0.4
reflex-gloss-scene >=0.2.1 && <0.3
reflex-sdl2 >=0.4 && <0.5
smtlib2 -any
smtlib2-debug -any
smtlib2-pipe -any
smtlib2-quickcheck -any
smtlib2-timing -any
typerep-map ^>=0.5
universe-dependent-sum >=0.3.2.2 && <0.6