peano: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 11 | 14 | 25 |
| Package name | Total reverse dependencies |
|---|---|
| Agda | 9 (view) |
| Fin | 4 (view) |
| PandocAgda | 1 (view) |
| VecN | 1 (view) |
| acme-everything | 0 (view) |
| agda-language-server | 0 (view) |
| agda-snippets | 2 (view) |
| agda-snippets-hakyll | 1 (view) |
| agda-unused | 0 (view) |
| blagda | 0 (view) |
| clist | 5 (view) |
| hakyll-agda | 1 (view) |
| lol-typing | 1 (view) |
| monad-classes | 7 (view) |
| monad-classes-logging | 1 (view) |
| monopati | 1 (view) |
| natural-induction | 6 (view) |
| permutations | 1 (view) |
| proof-assistant-bot | 0 (view) |
| rv | 1 (view) |
| symantic-http-client | 0 (view) |
| symantic-http-pipes | 0 (view) |
| symantic-http-server | 0 (view) |
| symantic-lib | 1 (view) |
| word | 2 (view) |