# Agda Grammar for tree-sitter
[![CI][ci]](https://github.com/tree-sitter/tree-sitter-agda/actions/workflows/ci.yml)
[![discord][discord]](https://discord.gg/w7nTvsVJhm)
[![matrix][matrix]](https://matrix.to/#/#tree-sitter-chat:matrix.org)
[![crates][crates]](https://crates.io/crates/tree-sitter-agda)
[![npm][npm]](https://www.npmjs.com/package/tree-sitter-agda)
Syntax highlighting and code folding done right (with context-free grammar, finally!)
## How to contribute
- [documentation](http://tree-sitter.github.io/tree-sitter/)
Install dependencies:
```bash
npm install
```
To see if you have `tree-sitter` installed:
```bash
npx tree-sitter
```
To generate the parser:
```bash
npx tree-sitter generate
```
Run test to see if everything's okay:
```bash
npm test
```
You may wanna run this on the [language-agda](https://github.com/banacorn/language-agda)'s side:
```bash
npm install
apm rebuild
```
[ci]: https://img.shields.io/github/actions/workflow/status/tree-sitter/tree-sitter-agda/ci.yml?logo=github&label=CI
[discord]: https://img.shields.io/discord/1063097320771698699?logo=discord&label=discord
[matrix]: https://img.shields.io/matrix/tree-sitter-chat%3Amatrix.org?logo=matrix&label=matrix
[npm]: https://img.shields.io/npm/v/tree-sitter-agda?logo=npm
[crates]: https://img.shields.io/crates/v/tree-sitter-agda?logo=rust
Raw data
{
"_id": null,
"home_page": null,
"name": "tree-sitter-agda",
"maintainer": null,
"docs_url": null,
"requires_python": ">=3.9",
"maintainer_email": null,
"keywords": "incremental, parsing, tree-sitter, agda",
"author": "Lua Ting-Gian",
"author_email": null,
"download_url": "https://files.pythonhosted.org/packages/6b/24/b6be1625cc8bf932aa30e73fb5378c64fe157582c38bb66184f0eb1aef61/tree_sitter_agda-1.3.3.tar.gz",
"platform": null,
"description": "# Agda Grammar for tree-sitter\n\n[![CI][ci]](https://github.com/tree-sitter/tree-sitter-agda/actions/workflows/ci.yml)\n[![discord][discord]](https://discord.gg/w7nTvsVJhm)\n[![matrix][matrix]](https://matrix.to/#/#tree-sitter-chat:matrix.org)\n[![crates][crates]](https://crates.io/crates/tree-sitter-agda)\n[![npm][npm]](https://www.npmjs.com/package/tree-sitter-agda)\n\nSyntax highlighting and code folding done right (with context-free grammar, finally!)\n\n\n\n## How to contribute\n\n- [documentation](http://tree-sitter.github.io/tree-sitter/)\n\nInstall dependencies:\n\n```bash\nnpm install\n```\n\nTo see if you have `tree-sitter` installed:\n\n```bash\nnpx tree-sitter\n```\n\nTo generate the parser:\n\n```bash\nnpx tree-sitter generate\n```\n\nRun test to see if everything's okay:\n\n```bash\nnpm test\n```\n\nYou may wanna run this on the [language-agda](https://github.com/banacorn/language-agda)'s side:\n\n```bash\nnpm install\napm rebuild\n```\n\n[ci]: https://img.shields.io/github/actions/workflow/status/tree-sitter/tree-sitter-agda/ci.yml?logo=github&label=CI\n[discord]: https://img.shields.io/discord/1063097320771698699?logo=discord&label=discord\n[matrix]: https://img.shields.io/matrix/tree-sitter-chat%3Amatrix.org?logo=matrix&label=matrix\n[npm]: https://img.shields.io/npm/v/tree-sitter-agda?logo=npm\n[crates]: https://img.shields.io/crates/v/tree-sitter-agda?logo=rust\n",
"bugtrack_url": null,
"license": "MIT",
"summary": "Agda grammar for tree-sitter",
"version": "1.3.3",
"project_urls": {
"Homepage": "https://github.com/tree-sitter/tree-sitter-agda"
},
"split_keywords": [
"incremental",
" parsing",
" tree-sitter",
" agda"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "34abcb359bca3227898a44cca6ddb9319fb902904bdc0da12da331d0af3e7b35",
"md5": "b9cba5a7df1c0e903e04fea04f3da9f6",
"sha256": "c6f45992d644d839ecdb8672f18f60bcc71e6e6cd904d7b982b5fcc14df3116a"
},
"downloads": -1,
"filename": "tree_sitter_agda-1.3.3-cp39-abi3-macosx_10_9_x86_64.whl",
"has_sig": false,
"md5_digest": "b9cba5a7df1c0e903e04fea04f3da9f6",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.9",
"size": 254854,
"upload_time": "2024-11-10T23:30:07",
"upload_time_iso_8601": "2024-11-10T23:30:07.006646Z",
"url": "https://files.pythonhosted.org/packages/34/ab/cb359bca3227898a44cca6ddb9319fb902904bdc0da12da331d0af3e7b35/tree_sitter_agda-1.3.3-cp39-abi3-macosx_10_9_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "8526e158e0988ad12b712309795515b5a7dc44067449c98b3e136778b522d83b",
"md5": "b01bd2a19b5fdf11e25fcfc584ddc969",
"sha256": "91a04831c527dbe3d7e30c79f2f0fa42eaf36c6976148379c583fe5c5df8975c"
},
"downloads": -1,
"filename": "tree_sitter_agda-1.3.3-cp39-abi3-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "b01bd2a19b5fdf11e25fcfc584ddc969",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.9",
"size": 270679,
"upload_time": "2024-11-10T23:30:08",
"upload_time_iso_8601": "2024-11-10T23:30:08.460458Z",
"url": "https://files.pythonhosted.org/packages/85/26/e158e0988ad12b712309795515b5a7dc44067449c98b3e136778b522d83b/tree_sitter_agda-1.3.3-cp39-abi3-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "3b664580e50b94bc2679679c4cd3ecf207474602179fca8c288e742821c9df16",
"md5": "d4b4a5ce7dc6215323512b1be76c7d7d",
"sha256": "e5910c88b5c8984b872d65cf6722940cd6b0f6c168b55bef4c43dd7fd98a9c94"
},
"downloads": -1,
"filename": "tree_sitter_agda-1.3.3-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"has_sig": false,
"md5_digest": "d4b4a5ce7dc6215323512b1be76c7d7d",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.9",
"size": 302051,
"upload_time": "2024-11-10T23:30:10",
"upload_time_iso_8601": "2024-11-10T23:30:10.113072Z",
"url": "https://files.pythonhosted.org/packages/3b/66/4580e50b94bc2679679c4cd3ecf207474602179fca8c288e742821c9df16/tree_sitter_agda-1.3.3-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "51a79304ca6e9026b39bcdb3670fb319c90575fb08dd57ec4b186c786c135d66",
"md5": "7de92f17f19f0b2b7e6245903cd82263",
"sha256": "0504703054a97f9fe79f471640cd7a1c63a556003e8ccc21520688f62633e6c3"
},
"downloads": -1,
"filename": "tree_sitter_agda-1.3.3-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "7de92f17f19f0b2b7e6245903cd82263",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.9",
"size": 283139,
"upload_time": "2024-11-10T23:30:11",
"upload_time_iso_8601": "2024-11-10T23:30:11.253011Z",
"url": "https://files.pythonhosted.org/packages/51/a7/9304ca6e9026b39bcdb3670fb319c90575fb08dd57ec4b186c786c135d66/tree_sitter_agda-1.3.3-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "d287f5d25886520c7e063a347a8e64a15c0e722ec82521397160b61314c6cf92",
"md5": "285a89efa502fd2713f90e7dc11a602b",
"sha256": "c149e2acffb8a7d5e1622a36c8dafaa50882a44ac77b0b1d13c74fa2d5fcdb8a"
},
"downloads": -1,
"filename": "tree_sitter_agda-1.3.3-cp39-abi3-musllinux_1_2_x86_64.whl",
"has_sig": false,
"md5_digest": "285a89efa502fd2713f90e7dc11a602b",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.9",
"size": 272810,
"upload_time": "2024-11-10T23:30:12",
"upload_time_iso_8601": "2024-11-10T23:30:12.956830Z",
"url": "https://files.pythonhosted.org/packages/d2/87/f5d25886520c7e063a347a8e64a15c0e722ec82521397160b61314c6cf92/tree_sitter_agda-1.3.3-cp39-abi3-musllinux_1_2_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "d6135befa418f58b470c39cc6a120c9be560097f07c82aa42551872ed159fd4d",
"md5": "0d33198283d2f42a702cf9d3ba641b74",
"sha256": "73b7f9c4fe8b6a7990836a14be9ece4f0ade277336cdb571c26c2939fcee107d"
},
"downloads": -1,
"filename": "tree_sitter_agda-1.3.3-cp39-abi3-win_amd64.whl",
"has_sig": false,
"md5_digest": "0d33198283d2f42a702cf9d3ba641b74",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.9",
"size": 255172,
"upload_time": "2024-11-10T23:30:14",
"upload_time_iso_8601": "2024-11-10T23:30:14.999995Z",
"url": "https://files.pythonhosted.org/packages/d6/13/5befa418f58b470c39cc6a120c9be560097f07c82aa42551872ed159fd4d/tree_sitter_agda-1.3.3-cp39-abi3-win_amd64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "07ce9fe65a2093cb95d50022346dedfb3ec0118bb6b3757b952a6b28be8b2ac6",
"md5": "69e0926636ada36987c81b4b1aa1a2c0",
"sha256": "9c968d3c4ca64a6bb33e025c04059a18e286eb60a755d723418993b36d2f13ca"
},
"downloads": -1,
"filename": "tree_sitter_agda-1.3.3-cp39-abi3-win_arm64.whl",
"has_sig": false,
"md5_digest": "69e0926636ada36987c81b4b1aa1a2c0",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.9",
"size": 252596,
"upload_time": "2024-11-10T23:30:16",
"upload_time_iso_8601": "2024-11-10T23:30:16.053346Z",
"url": "https://files.pythonhosted.org/packages/07/ce/9fe65a2093cb95d50022346dedfb3ec0118bb6b3757b952a6b28be8b2ac6/tree_sitter_agda-1.3.3-cp39-abi3-win_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "6b24b6be1625cc8bf932aa30e73fb5378c64fe157582c38bb66184f0eb1aef61",
"md5": "8c5eb6501b011a978ce649fe59135e03",
"sha256": "e95b7976fd4e6a6b590ae694962d8a536e28f1d09a44574fa466ed51e6eebafb"
},
"downloads": -1,
"filename": "tree_sitter_agda-1.3.3.tar.gz",
"has_sig": false,
"md5_digest": "8c5eb6501b011a978ce649fe59135e03",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.9",
"size": 588528,
"upload_time": "2024-11-10T23:30:17",
"upload_time_iso_8601": "2024-11-10T23:30:17.133651Z",
"url": "https://files.pythonhosted.org/packages/6b/24/b6be1625cc8bf932aa30e73fb5378c64fe157582c38bb66184f0eb1aef61/tree_sitter_agda-1.3.3.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-11-10 23:30:17",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "tree-sitter",
"github_project": "tree-sitter-agda",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"lcname": "tree-sitter-agda"
}
JSON
