life.bend fails

raw source on the hub · import 0xbdd0ed8296de5a3e70071442c332a8ec/life.bend as Life

GLIDER — the Life core.

Conway's Game of Life on a torus: cells are U32 (0 dead, 1 alive), rows top to bottom, and the grid wraps on both axes, so every operation is total and no edge cases exist. Neighbor sums are rotation-based (no index arithmetic), which keeps the code small, parallel-friendly and proof-friendly.

1 import

import Base

The reader could not load this file (at 0xbdd0ed8296de5a3e70071442c332a8ec/life.bend:193). What bend.ts says:

Error:
- 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.