lathe-ordinals-doc
Ordinal numbers supporting addition, multiplication, and exponentiation. (doc)
Build status: failed missing license metadata
| Authors | |
|---|
| Documentation | |
|---|
| Tags | |
|---|
| License | |
|---|
| Last updated | Tuesday, September 2nd, 2025 9:42:13am (UTC) |
|---|
| Ring | 1 |
|---|
| Conflicts | None |
|---|
| Dependencies | |
|---|
| Most recent build results | |
|---|
| Version Exceptions | |
|---|
| Last checked | Monday, March 16th, 2026 9:36:28pm (UTC) |
|---|
| Last edited | Friday, March 12th, 2021 3:26:12am (UTC) |
|---|
| Date added | Friday, March 12th, 2021 3:26:12am (UTC) |
|---|
| Modules | - lathe-ordinals/scribblings/lathe-ordinals.scrbl
|
|---|