amadan
fix/fact-box-narrowing-guards
No description yet.
Commits
2
Discussions
0
0 open
Tasks
0/0
done
Discussions
- No discussions on this branch yet.
Tasks
- No tasks yet.
Activity
- paul@keymail.dev pushed a3dd0be Gate 40: a match outside the first passage, and notes across kinds (GPT-6 Astra)
- paul@keymail.dev pushed f94ef0a Fact box narrowing: answer the second review (GPT-6 Astra)