Milestones
List view
The short-term focus (decided 2026-10-06): Sprite in great shape before new research enters. Exit criteria: no open bug on the C++ backend; the Python backend behind its reference flag; both Curry-to-ICurry routes write identical files; the conda package installs on a clean machine; the docs complete for the typed boundary, the REPL and the tools; every example sharp with its README; the nightly perf and functional jobs green on a current baseline; the talk given.
No due date•24/28 issues closed