From 326c995c1d654d2a9c86dab16d13d3782781a0b4 Mon Sep 17 00:00:00 2001 From: Brummel Date: Tue, 12 May 2026 00:39:11 +0200 Subject: [PATCH] iter 23.5: INDEX append --- docs/journals/INDEX.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/journals/INDEX.md b/docs/journals/INDEX.md index 57ad1e0..d8fdc0a 100644 --- a/docs/journals/INDEX.md +++ b/docs/journals/INDEX.md @@ -14,3 +14,4 @@ - 2026-05-11 — iter gc.1: grounding-check agent + brainstorm Step 7.5 → 2026-05-11-iter-gc.1.md - 2026-05-11 — iter disc.1: boss-only commits + main-as-quarantine (no branches in implement) → 2026-05-11-iter-disc.1.md - 2026-05-11 — iter 23.4: mono-pass unification (class methods + polymorphic free fns in one fixpoint; codegen-time specialiser removed) → 2026-05-11-iter-23.4.md +- 2026-05-12 — iter 23.5: prelude free fns (ne/lt/le/gt/ge) + E2E (positive / user-ADT / Float-NoInstance); milestone 23 closed → 2026-05-12-iter-23.5.md