diff --git a/plans/lib-guest.md b/plans/lib-guest.md index b9853b20..81921e7d 100644 --- a/plans/lib-guest.md +++ b/plans/lib-guest.md @@ -153,7 +153,7 @@ Extract from `haskell/infer.sx`. Algorithm W or J, generalisation, instantiation |------|--------|--------|-------| | 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) | [done] | 58dcff26 | Prolog 590/590 (matches baseline). Haskell 156/156 — old script was broken (0/18 was an artefact of a never-matching grep), driver reveals true counts; baseline updated. | -| 2 — prefix.sx (common-lisp + lua) | [ ] | — | — | +| 2 — prefix.sx (common-lisp + lua) | [in-progress] | — | — | | 3 — lex.sx (lua + tcl) | [ ] | — | — | | 4 — pratt.sx (lua + prolog) | [ ] | — | — | | 5 — ast.sx (lua + prolog) | [ ] | — | — |