master
Claude Code writes machine-local tool permissions there; it is personal config, not project config, and had been showing up as a permanently dirty file in the working copy. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GPcEywkQGRifaT1VFXNRBL
Parser Generator tests
CFGs
Via Engineering a Compiler, p 78
A context-free grammar is a 4-tuple of <Terminal, Non-Terminal, Start-symobl, Production-set>
Languages
Lean
60.1%
Rust
39.1%
Just
0.8%