Repository navigation

fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305 - #206

Merged

hyperpolymath merged 8 commits into

mainfrom

fix/idris2-build-blockers

Sep 13, 2026

Merged

fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305#206
hyperpolymath merged 8 commits into
mainfrom
fix/idris2-build-blockers

Commits on Aug 27, 2026
- fix(idris2): cure seven build blockers; drive frontier 165 -> 210/305
  
  hyperpolymath
  and
  claude
  committed
  5adfd0d
- docs: add Idris2 build work package for handover
  
  hyperpolymath
  and
  claude
  committed
  9c2d073
- docs: correct the postulate count from 46 to 42 (declaration position only)
  hyperpolymath
  committed
  89d89ee
Commits on Sep 8, 2026
- Merge branch 'main' into fix/idris2-build-blockers
  hyperpolymath
  authored
  728dbc5
Commits on Sep 9, 2026
- Update src/Proven/SafeRegex/Parser.idr
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  82e200b
- Harden Idris2 build scripts with version and environment checks
  coderabbitai[bot]
  committed
  eb0bba5
- Revert Idris 2 build repair changes
  coderabbitai[bot]
  committed
  75133c8
Commits on Sep 13, 2026
- Merge branch 'main' into fix/idris2-build-blockers
  hyperpolymath
  authored
  eae3500