structural-induction 0.3

2 Reverse deps Accepted versions
acme-everything -any
tip-lib >=0.3 && <0.4