arborium-lean 2.18.1

Lean grammar for arborium (tree-sitter bindings)
Documentation

This file is too large to display.