th-extras 0.0.0.4

6 Reverse deps Accepted versions
BiGUL >=0.0.0.4
dependent-sum-template >=0.0.0.2
equational-reasoning ==0.0.*
equational-reasoning-induction ==0.0.*
flexible-defaults -any
random-source -any