th-expand-syns 0.4.3.0

14 Reverse deps Accepted versions
beam-th >=0.4 && <0.5
compdata -any
compstrat <=0.4
comptrans <=0.4
gdiff-th ==0.3.*
HiggsSet >=0.3.0.2
hobbits >=0.3 && <0.5
multirec-alt-deriver -any
overload -any
specialize-th >=0.3.0.3
th-desugar >=0.3.0.6
th-instance-reification ==0.3.*
th-reify-many -any
TrieMap -any