1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 12 hours ago. based on code collected 1 day ago.
Aug 23, 2025 — Aug 23, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
docs: sync interpret-edag and reuse-edag-operators with null frame, neg retag More... 3 days ago
edag: scope changelog to this PR, fix doc paths, disclose comma gap More... 3 days ago
edag: fix changelog's stale Fn/frame description More... 3 days ago
ok More... 3 days ago
an empty frame (for now) More... 3 days ago
edag: correct frame's shape to ['[]', []], not ['[]'] More... 3 days ago
edag: restrict fn's frame, fix stale neg comments/proof, changelog More... 3 days ago
fix More... 3 days ago
fn More... 3 days ago
Merge branch 'edag4' of https://github.com/functionalscript/functionalscript into edag4 More... 3 days ago
comma More... 3 days ago
Merge branch 'main' into edag4 More... 3 days ago
Check3 More... 3 days ago
Merge branch 'main' into effects/node-spawn-todo More... 3 days ago
edag: add own, neg, sub nodes (rename plus to add) (#1656) More... 3 days ago
Merge branch 'edag3' into edag4 More... 3 days ago
edag: fix stale changelog entry and _Sub typedef names More... 3 days ago
comma More... 3 days ago
Merge branch 'main' into edag3 More... 3 days ago
edag: wire own/neg into exp, fix neg's tag, add proof coverage More... 3 days ago
edag: add changelog entry for Add/Sub/Own/Neg More... 3 days ago
Merge branch 'main' into effects/node-spawn-todo More... 3 days ago
own More... 3 days ago
edag: add a Plus node for binary + (#1655) More... 3 days ago
own More... 3 days ago
add and sub More... 3 days ago
Merge branch 'edag2' into edag3 More... 3 days ago
Merge branch 'main' into edag2 More... 3 days ago
Merge branch 'edag2' into edag3 More... 3 days ago
docs: fix remaining unary-+ prose and a doc-comment misattribution More... 3 days ago