genifunctors 0.4

2 Reverse deps Accepted versions
structural-induction -any
tip-lib >=0.3