Skip to content

feat: plan 08 part C constant folding, recursive parameters, application fusion and silent O2 - #41

Merged
MicroProofs merged 13 commits into
mainfrom
plan-8
Oct 8, 2026
Merged

MicroProofs merged 13 commits into
mainfrom
plan-8

Commits

  1. Commits on Oct 7, 2026

  2. Commits on Oct 8, 2026