singletons 3.0.4

99 Reverse deps Accepted versions
ADPfusion >=2.4
bytepatch >=3.0 && <3.1
camfort >=3.0 && <3.2
clang-pure >=2.0.1
clash-prelude >=2.0 && <3.1
cleveland >=0
computational-algebra >=2.2 && <2.4
d-bus >=1.0
dag >=0
decidable >=3.0
equational-reasoning-induction >=0
exinst >=3.0
exinst-aeson >=0
exinst-base >=0
exinst-bytes >=0
exinst-cereal >=0
exinst-hashable >=2.2 && <2.3
exinst-serialise >=0
expressions >=2.2 && <2.6
expressions-z3 >=2.2 && <2.6
finite-field >=1.0
fortran-src >=3.0 && <3.1
functor-products >=3.0
Get ==2.3.1
grenade >=2.1 && <2.3
grids >=0
HappyTree ==2.3.1
haskell-igraph >=0
haskell-ml >=0
hasktorch-indef >=2.2
hasktorch-zoo ==2.2 || >2.2
hgeometry-ipe >=3 && <4
hgeometry-svg >=2.0
http-kinder >=0
ihaskell-widgets >=0
indigo >=0
inline-java >=0
inline-r >=2.7 && <3
isobmff >=2.5 && <2.6
isobmff-builder >=0
ixshader >=2.2
jni >=2.6
jvm >=2.6
jvm-batching >=2.2
jvm-streaming >=2.6
kind-integer >=0
kind-rational >=0
lens-typelevel >=2.5
linearmap-category >=3.0 && <3.3
list-witnesses >=3.0
lol >=2.5.1 && <2.6
lol-apps >=2.5.1 && <2.6
lol-repa >=1.1.2.1 && <2.3
lorentz >=0
manifolds >=3.0 && <3.3
mathflow >=0
matrix-sized >=0
mediabus <2.3
mediabus-rtp <2.3
morley >=0
morley-client >=0
morley-upgradeable >=0
mqtt-hs >=0.9 && <2.5
named-sop ^>=2.6
ocaml-export >=0
optparse-generic >=0.10.0 && <1.0
pringletons >=2.2 && <2.3
protocol >=2.5 && <2.8
safe-tensor >=2.5 && <2.8
schematic >=2.4
serpentine >=0
serv >=0
serv-wai >=0
servant-zeppelin >=2.2 && <=2.3
servant-zeppelin-client >=2.2 && <=2.3
servant-zeppelin-server >=2.2 && <2.3
servant-zeppelin-swagger >=2.2 && <2.3
singleton-dict >=2.2 && <2.3
singleton-nats >=3.0 && <3.1
singletons-base >=3.0 && <3.1
singletons-default >=3.0.2 && <3.1
singletons-presburger >=0
singletons-th >=3.0 && <3.1
sized-types >=0.10 && <2.3
sized-vector >=2.2 && <3
sparkle >=2.0
sqel >=3 && <3.1
static >=0
static-tensor >=2.3 && <2.4
tensor-safe >=2.5.1 && <2.6
tropical-geometry >=2.4.1 && <2.5
type-combinators-singletons >=0
type-list >=1.0 && <2.3
typed-digits >=2.3
tyro >=0
units >=3 && <4
wai-predicates >=0.10
webauthn >=2.6 && <3.2
zuramaru >=0