From 93fe2da33ce9f64dbd673f36168c100829979d8f Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 14:40:16 +0200 Subject: [PATCH] floats iter 1.1 fixup: trim form_a.md FLOAT bullet to match neighbour style --- crates/ailang-core/specs/form_a.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/ailang-core/specs/form_a.md b/crates/ailang-core/specs/form_a.md index 4b492a2..34405ca 100644 --- a/crates/ailang-core/specs/form_a.md +++ b/crates/ailang-core/specs/form_a.md @@ -156,7 +156,7 @@ Atom forms (no parens): - `INT` — integer literal - `STRING` — string literal - `true`, `false` — bool literals -- `FLOAT` — IEEE-754 binary64 literal in surface form (e.g. `1.5`, `1.5e3`, `1e10`). In Form-A the literal carries the bit pattern as a 16-character lowercase hex string in `{"kind":"float","bits":""}`. Surface lex lands in iter 2 of the Floats milestone; the Form-A canonical-bytes shape is stable from iter 1. +- `FLOAT` — IEEE-754 binary64 literal: e.g. `1.5`, `1.5e3`, `1e10`. - `NAME` — variable reference (parameter, local, top-level def, or import alias) Parenthesised forms: