STMonadTrans 0.4.8

7 Reverse deps Accepted versions
Agda >=0.4.3 && <0.5
BPS >=0.4.6 && <0.5
equivalence >=0.4.3
FastPush >=0.3 && <0.5
neural -any
TastyTLT >=0.4.6 && <0.5
TLT >=0.4.6 && <0.5