wehub-resource-sync
4 lines
125 B
C
4 lines
125 B
C
// Vendored tree-sitter grammar: lean
|
|
#include "vendored/grammars/lean/parser.c"
|
|
#include "vendored/grammars/lean/scanner.c"
|