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