0xbdd0ed82 fails
0xbdd0ed8296de5a3e70071442c332a8ec
GLIDER at scale — a soup census over the readable engine.
Anonymous package: import it by hash.
- Published
- 2026-09-19
- Size
- 7,570 bytes, 2 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 0 defs, 0 types
Import
import 0xbdd0ed8296de5a3e70071442c332a8ec/census.bend as Census import 0xbdd0ed8296de5a3e70071442c332a8ec/life.bend as Life
Modules
- census.bend not loaded — GLIDER at scale — a soup census over the readable engine.
- life.bend not loaded — GLIDER — the Life core.
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| census.bend | fails | - message : a type for this operator (write (a + b : Nat))outputError:
- message : a type for this operator (write (a + b : Nat))
Location:
192 | case 1n+p:
193>| 1n + (1n + double(p))
| ^
194 |
Note: we broke this after launch, sorry. Until 2.0.16 a bare operator meant Nat.
That was a bug: operators demand annotation. Wrap the expression and it'll work again. | 0.5 s |
| life.bend | fails | - message : a type for this operator (write (a + b : Nat))outputError:
- message : a type for this operator (write (a + b : Nat))
Location:
192 | case 1n+p:
193>| 1n + (1n + double(p))
| ^
194 |
Note: we broke this after launch, sorry. Until 2.0.16 a bare operator meant Nat.
That was a bug: operators demand annotation. Wrap the expression and it'll work again. | 0.4 s |