peano - Reverse dependencies | Hackage

peano: 11 reverse dependencies

No version specified, so showing reverse dependencies for latest version.

Depend on the latest version	Depend on other versions	Total
9	2	11

Package name	Version	Reverse dependencies
Agda	2.6.4.3	8 (view)
Fin	0.2.9.0	3 (view)
clist	0.3.0.1	2 (view)
monad-classes	0.3.2.2	7 (view)
monopati	0.1.4	1 (view)
natural-induction	0.2.0.0	4 (view)
permutations	0.1.0.0	1 (view)
rv	0.0.1.0	1 (view)
word	0.1.0.1	2 (view)