1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 21 hours 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
edag/todo: state the walker conditions in the schema, via `close` More... 3 months ago
Merge branch 'main' into claude/create-pr-xg21p2 More... 3 months ago
Merge origin/claude/create-pr-xg21p2 into claude/create-pr-xg21p2 More... 3 months ago
edag/todo: rewrite the proposal around the HCF partition More... 3 months ago
Merge branch 'main' into claude/create-pr-xg21p2 More... 3 months ago
ci: bump nixpkgs snapshot and wasmtime pin (#1688) More... 3 months ago
Merge branch 'main' into claude/busy-hopper-gpogys More... 3 months ago
types/rtti: add the `close` container schema (#1687) More... 3 months ago
types/rtti: file the sparse tuple schema divergence More... 3 months ago
types/rtti/data: distinguish absent keys from present `undefined` in `subset` More... 3 months ago
types/rtti: address review nits on #1687 More... 3 months ago
changelog: entry for #1687 More... 3 months ago
types/rtti: add the `close` container schema More... 3 months ago
ci: bump nixpkgs snapshot and wasmtime pin More... 3 months ago
edag/todo: keep the `|` prefix on step ids More... 3 months ago
edag/todo: record how the tags read More... 3 months ago
edag/todo: record purity as the reason `.` and `()` stay More... 3 months ago
edag/todo: split the chain nodes by whether they carry HCF More... 3 months ago
edag/todo: collapse the proposal to two chain nodes More... 3 months ago
edag/todo: restructure the proposal around three chain nodes More... 3 months ago
edag/todo: record extending `.` as an alternative to a second tag More... 3 months ago
edag/todo: raise `?.()` split to P2 More... 3 months ago
edag: propose splitting `?.()` by whether it has a receiver More... 3 months ago
edag/amnesia: evaluate chains — `()`, `?.`, and `?.()` (#1685) More... 3 months ago
edag/amnesia: evaluate `?.()`, the last `todo` node More... 3 months ago
edag/amnesia: apply `?.`'s own index, and prove the region More... 3 months ago
ok More... 3 months ago
Merge branch 'vm-new' into claude/create-pr-xg21p2 More... 3 months ago
simplify More... 3 months ago
edag/amnesia: prove the receiver `call` must not invent More... 3 months ago