1
I Use This!
Very High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Nov 13, 2025 — Nov 13, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
bnf/todo: value-keying reaches held rules, not per-invocation ones; qualify checkpointing More... 3 months ago
Merge branch 'main' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
Merge remote-tracking branch 'origin/claude/bnf-parser-ast-transformers-5zuyrz' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
bnf/todo: the default variant cannot derive its parameter from StringMap More... 3 months ago
ci: add ./dev.sh, the interactive half of ./nix/run (#1814) More... 3 months ago
Merge branch 'main' into claude/todo-unification-runners-7wvd1q More... 3 months ago
Merge branch 'main' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
Merge remote-tracking branch 'origin/main' into claude/nix-todos-aylmrk More... 3 months ago
ci: dev.sh is committed, not generated More... 3 months ago
Merge branch 'claude/nix-todos-aylmrk' of https://github.com/functionalscript/functionalscript into claude/nix-todos-aylmrk More... 3 months ago
ci: read before writing dev.sh, so a consumer's own is not truncated More... 3 months ago
effects: the fan-out is proven where it now lives More... 3 months ago
bnf/todo: replace an obsolete reason in stage 0; prove all seven checks More... 3 months ago
Merge branch 'main' into claude/nix-todos-aylmrk More... 3 months ago
Merge branch 'main' into ok-bnf More... 3 months ago
nanvm: implement addition (#1811) More... 3 months ago
bnf/todo: recursion can make a fixed-arity rule quadratic too; primitives ship in stage 1 More... 3 months ago
changelog: the entry for #1815 More... 3 months ago
effects: fan-out joins the operations more than one host implements More... 3 months ago
Merge remote-tracking branch 'origin/claude/bnf-parser-ast-transformers-5zuyrz' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
bnf/todo: `map` refuses duplicate rule entries More... 3 months ago
Merge branch 'main' into sasha-gil/pick-todo-and-implement-01 More... 3 months ago
Merge branch 'main' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
bnf/todo: check a mapped variant's branches, drop a stale task, say how binding 207 is More... 3 months ago
changelog: the dev.sh entry, under this pull request's number More... 3 months ago
effects: `Import` belongs to whoever implements it, and that is two hosts (#1812) More... 3 months ago
Merge remote-tracking branch 'origin/claude/bnf-parser-ast-transformers-5zuyrz' into claude/bnf-parser-ast-transformers-5zuyrz More... 3 months ago
bnf/todo: type `unit` at undefined, refuse a start/rest collision, fix unicode-rules More... 3 months ago
ci: generate ./dev.sh, the interactive half of ./nix/run More... 3 months ago
Merge branch 'main' into claude/todo-unification-runners-7wvd1q More... 3 months ago