dependent-sum 0.7.1.0

43 Reverse deps Accepted versions
aeson-gadt-th >=0.4 && <0.6.2.2
avr-shake ==0.2.*
beam-migrate >=0.4 && <0.8
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.7 && <0.8
dependent-sum-template >=0.4.1 && <0.8
duckling >=0.3.2.2 && <0.5
fraxl ==0.4.*
functor-combinators -any
ghcide -any
hls-plugin-api -any
lambdabot-core >=0.7 && <0.8
lsp-types >=0.6.2.2
monad-metrics-extensible -any
neuron >=0.7
otp-authenticator -any
patch >=0.6 && <0.8
prim-uniq >=0.7 && <0.8
reflex >=0.6 && <0.8
reflex-basic-host >=0.4 && <0.7
reflex-dom -any
reflex-dom-core >=0.6 && <0.8
reflex-dynamic-containers -any
reflex-gi-gtk >=0.7.1 && <0.8
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-process -any
reflex-sdl2 >=0.4 && <0.5
reflex-test-host -any
reflex-vty >=0.7 && <0.8
rock >=0.6
smtlib2 -any
smtlib2-debug -any
smtlib2-pipe -any
smtlib2-quickcheck -any
smtlib2-timing -any
typelits-witnesses -any
typerep-map >=0.5 && <0.8
vulkan-utils -any