From 965e628c52018f3fa172246fd13daf23512139be Mon Sep 17 00:00:00 2001
From: Brummel <mould@mycelium.de>
Date: Sun, 10 May 2026 16:38:45 +0200
Subject: [PATCH] =?UTF-8?q?floats=20iter=205.4:=20roadmap=20=E2=80=94=20ma?=
 =?UTF-8?q?rk=20Floats=20[x]=20+=20unblock=20Post-22=20Prelude?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/roadmap.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/docs/roadmap.md b/docs/roadmap.md
index 046c90d..44d4e3d 100644
--- a/docs/roadmap.md
+++ b/docs/roadmap.md
@@ -33,7 +33,7 @@ work progresses.
 
 ## P0 — In flight
 
-- [~] **\[milestone\]** Floats — introduce `Float` as IEEE-754
+- [x] **\[milestone\]** Floats — introduce `Float` as IEEE-754
   binary64 primitive type. One float type only (no `f32`).
   IEEE-conformant equality: `eq : Float → Float → Bool` returns
   `false` for `NaN == NaN`; **no `Eq` instance** (the partiality
@@ -55,10 +55,10 @@ work progresses.
   rewire `print` through `Show.show`. Float gets `Show` but **not**
   `Eq` / `Ord` (partial — see Floats milestone). Originally queued
   as 22b.4 in the typeclass milestone, kept on hold pending demand.
-  - context: JOURNAL 2026-05-09 ("JOURNAL queue")
-  - depends on: Floats (the partial-Eq/Ord story for Float must be
-    settled before the Prelude classes ship, so the Prelude can
-    decide what's instanced and what isn't)
+  - context: JOURNAL 2026-05-09 ("JOURNAL queue"). Floats milestone
+    closed 2026-05-10 — partial-Eq/Ord-for-Float story is documented
+    in DESIGN.md §"Float semantics", so the Prelude can decide
+    what's instanced (Show: yes, Eq/Ord: no for Float).
 
 ## P2 — Medium-term