Skip to content
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
march-language
/
march-lean
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Issues
0
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
feat(tailcall): model march's Pass 3 tail-call enforcement
- #22
#22
Merged
Ch4s3
merged 3 commits into
main
march-language/march-lean:main
from
claude/keen-jepsen-5df34f
march-language/march-lean:claude/keen-jepsen-5df34f
Copy head branch name to clipboard
Aug 10, 2026
Conversation
Commits
3
(3)
Checks
Files changed
Merged
feat(tailcall): model march's Pass 3 tail-call enforcement
#22
Ch4s3
merged 3 commits into
main
march-language/march-lean:main
from
claude/keen-jepsen-5df34f
march-language/march-lean:claude/keen-jepsen-5df34f
Copy head branch name to clipboard
docs(tailcall): correct the nested-`mod` finding and record its root …
e1f6f98
Select commit
Loading
Failed to load commit list.
Uh oh!
There was an error while loading.
Please reload this page
.
Select a check to view from the sidebar
You can’t perform that action at this time.