0x6d15da24 checks
0x6d15da24c6555ddee2181d043774a796
TinyChess — the board and the way the pieces move.
Anonymous package: import it by hash.
- Published
- 2026-09-17
- Size
- 18,143 bytes, 2 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 59 defs, 4 types
Import
import 0x6d15da24c6555ddee2181d043774a796/chess.bend as Chess import 0x6d15da24c6555ddee2181d043774a796/game.bend as Game
Modules
- chess.bend 13 declarations — # TinyChess — the board and the way the pieces move.
- game.bend 63 declarations — # TinyChess — the game.
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 |
|---|---|---|---|
| chess.bend | checks | ALL PROOFS CHECK | 0.7 s |
| game.bend | checks | ALL PROOFS CHECK | 0.9 s |