From ccf8a0fb90cfc588fdc0c81147f60325ab7169ae Mon Sep 17 00:00:00 2001 From: giles Date: Wed, 6 May 2026 22:02:31 +0000 Subject: [PATCH] =?UTF-8?q?GUEST-plan:=20claim=20step=201=20=E2=80=94=20co?= =?UTF-8?q?nformance.sx?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 4.7 (1M context) --- plans/lib-guest.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plans/lib-guest.md b/plans/lib-guest.md index d291ab47..7e99f66a 100644 --- a/plans/lib-guest.md +++ b/plans/lib-guest.md @@ -152,7 +152,7 @@ Extract from `haskell/infer.sx`. Algorithm W or J, generalisation, instantiation | Step | Status | Commit | Delta | |------|--------|--------|-------| | 0 — baseline snapshot | [done] | 2f7f8189 | 11 guests captured: lua 185/185, forth 64/64, ruby 76/76, apl 73/73, prolog 590/590, common-lisp 309/309, smalltalk 625/629, tcl 3/4, haskell 0/18 programs, js 94/148 (slice), erlang 0/0 | -| 1 — conformance.sx (prolog + haskell) | [ ] | — | — | +| 1 — conformance.sx (prolog + haskell) | [in-progress] | — | — | | 2 — prefix.sx (common-lisp + lua) | [ ] | — | — | | 3 — lex.sx (lua + tcl) | [ ] | — | — | | 4 — pratt.sx (lua + prolog) | [ ] | — | — |