35 lines
717 B
JSON
35 lines
717 B
JSON
{
|
|
"grammars": [
|
|
{
|
|
"name": "perga",
|
|
"camelcase": "Perga",
|
|
"scope": "source.perga",
|
|
"path": ".",
|
|
"file-types": ["pg"],
|
|
"injection-regex": "^perga$",
|
|
"highlights": "queries/highlights.scm"
|
|
}
|
|
],
|
|
"metadata": {
|
|
"version": "0.1.0",
|
|
"license": "GPL3",
|
|
"description": "Basic proof assistant based on Calculus of Constructions",
|
|
"authors": [
|
|
{
|
|
"name": "William Ball",
|
|
"email": "williampi103@gmail.com"
|
|
}
|
|
],
|
|
"links": {
|
|
"repository": "https://forgejo.ballcloud.cc/wball/perga"
|
|
}
|
|
},
|
|
"bindings": {
|
|
"c": true,
|
|
"go": true,
|
|
"node": true,
|
|
"python": true,
|
|
"rust": true,
|
|
"swift": true
|
|
}
|
|
}
|