Repository navigation

docs(affirmation): affirm Idris2 0.8.0, trusted base and Zig break by local run - #352

Merged

hyperpolymath merged 2 commits into

mainfrom

docs/affirmation-pinned-toolchain

Oct 7, 2026

Merged

docs(affirmation): affirm Idris2 0.8.0, trusted base and Zig break by local run#352
hyperpolymath merged 2 commits into
mainfrom
docs/affirmation-pinned-toolchain

Commits on Oct 7, 2026
- docs(affirmation): affirm Idris2 0.8.0 typecheck, trusted base and Zig break by local run
  
  hyperpolymath
  and
  claude
  committed
  c83b4fb
- docs(affirmation): record how the affirmation landed (#351 parent = anchor)
  
  hyperpolymath
  and
  claude
  committed
  b39db8d