tree-sitter-metamath/tree-sitter.json at main · perrotuerto/tree-sitter-metamath · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
{
  "$schema": "https://tree-sitter.github.io/tree-sitter/assets/schemas/config.schema.json",
  "grammars": [
    {
      "name": "metamath",
      "camelcase": "Metamath",
      "title": "Metamath",
      "scope": "source.metamath",
      "file-types": [
        "mm"
      ],
      "injection-regex": "^metamath$",
      "class-name": "TreeSitterMetamath"
    }
  ],
  "metadata": {
    "version": "1.0.0",
    "license": "GPL-2.0",
    "description": "A simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs.",
    "authors": [
      {
        "name": "Ramiro Santa Ana Anguiano",
        "email": "hi@colima.press"
      }
    ],
    "links": {
      "repository": "https://github.com/tree-sitter/tree-sitter-metamath"
    }
  },
  "bindings": {
    "c": true,
    "go": true,
    "node": true,
    "python": true,
    "rust": true,
    "swift": true,
    "zig": false
  }
}