genifunctors
0.4
Only display out-of-date packages.
2 Reverse deps
Accepted versions
structural-induction
>=0
tip-lib
>=0.3