xiaoxue_admin
/
codebase-memory-mcp
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
codebase-memory-mcp/internal/cbm/grammar_lean.c

4 lines
125 B
C
Raw Permalink Blame History

// Vendored tree-sitter grammar: lean
#include "vendored/grammars/lean/parser.c"
#include "vendored/grammars/lean/scanner.c"
Reference in New Issue View Git Blame Copy Permalink