tbidne Thomas Bidne
github.com/tbidne · maintains 1 packages (1 directly), sole maintainer of 1, member of 0 teams
1 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Rewriting library with online termination checking |
0.4.5 |
1 | 12 | 3 | 17 | single |