summaryrefslogtreecommitdiff
path: root/library/status.md
AgeCommit message (Expand)Author
30 hoursClose content-addressed redesign documentationadelon
34 hoursRefresh typed-only library statusadelon
34 hoursClose the Phase 6 typed-driver gateadelon
37 hoursRecord the active typed aggregateadelon
38 hoursRecord topology consumer activationadelon
39 hoursRecord topological space activationadelon
40 hoursRecord structure foundation migrationadelon
41 hoursMigrate loops to exact checkingadelon
41 hoursMigrate quasigroups to exact checkingadelon
41 hoursMigrate monoids to exact checkingadelon
41 hoursMigrate semigroups to exact checkingadelon
41 hoursMigrate magma to exact checkingadelon
43 hoursRecord typed relation closure frontieradelon
43 hoursMove corpus verification to make libadelon
44 hoursRecord exact order boundaryadelon
46 hoursRecord equinumerosity migrationadelon
2 daysRecord Cantor and fixpoint migrationadelon
2 daysRecord function migration boundaryadelon
2 daysRecord relation property migrationadelon
2 daysRecord base relation migrationadelon
2 daysRecord product and filter migrationadelon
2 daysDocument canonical successor identityadelon
2 daysRecord elementary set migration statusadelon
3 daysActivate packaged prelude for protected rootsadelon
3 daysRewrite protected set and naturals closureadelon
5 daysFreeze content-addressed migration inventoryadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:21:18 +0000