arborium-lean 2.18.0

Lean grammar for arborium (tree-sitter bindings)
Documentation

This file is too large to display.