dependent-sum 0.7.1.0

40 Reverse deps Accepted versions
aeson-gadt-th >=0.6.1 && <0.7
avr-shake ==0.2.*
beam-migrate >=0.4 && <0.6
codeworld-api >=0.4 && <0.6.2
dependent-hashmap >=0.6
dependent-map >=0.6.1 && <0.8
dependent-monoidal-map >=0.6.2 && <0.7
dependent-sum-aeson-orphans >=0.6.1 && <0.7
dependent-sum-template >=0.4.1 && <0.8
duckling >=0.3.2.2 && <0.5
fraxl ==0.4.*
functor-combinators -any
lambdabot-core >=0.7 && <0.8
monad-metrics-extensible -any
myxine-client ^>=0.6
neuron -any
otp-authenticator -any
patch >=0.6 && <0.7
prim-uniq >=0.7 && <0.8
reflex ==0.6.*
reflex-basic-host >=0.4 && <0.7
reflex-dom -any
reflex-dom-core ==0.6.*
reflex-dynamic-containers -any
reflex-ghci >=0.6 && <0.7
reflex-gloss >=0.3.2.1 && <0.4
reflex-gloss-scene >=0.2.1 && <0.3
reflex-libtelnet >=0.6.2.0 && <=0.7
reflex-sdl2 >=0.4 && <0.5
reflex-test-host -any
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 && <0.8
universe-dependent-sum >=0.3.2.2 && <0.8