dependent-sum 0.6.2.0

32 Reverse deps Accepted versions
aeson-gadt-th -any
avr-shake ==0.2.*
beam-migrate >=0.4 && <0.6
dependent-map >=0.6.1 && <0.7
dependent-monoidal-map -any
dependent-sum-aeson-orphans -any
dependent-sum-template >=0.4.1 && <0.7
duckling >=0.3.2.2 && <0.5
fraxl ==0.4.*
functor-combinators -any
hnix ==0.4.*
lambdabot-core >=0.3 && <0.6
monad-metrics-extensible -any
otp-authenticator -any
prim-uniq -any
reflex ==0.6.*
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
reflex-vty >=0.3 && <0.7
rock -any
smtlib2 -any
smtlib2-debug -any
smtlib2-pipe -any
smtlib2-quickcheck -any
smtlib2-timing -any
typelits-witnesses -any
typerep-map ^>=0.5
universe-dependent-sum >=0.3.2.2 && <0.6