Agda grammar for tree-sitter
Project description
Agda Grammar for tree-sitter
Syntax highlighting and code folding done right (with context-free grammar, finally!)
How to contribute
Install dependencies:
npm install
To see if you have tree-sitter installed:
npx tree-sitter
To generate the parser:
npx tree-sitter generate
Run test to see if everything's okay:
npm test
You may wanna run this on the language-agda's side:
npm install
apm rebuild
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
tree_sitter_agda-1.3.3.tar.gz
(588.5 kB
view details)
Built Distributions
File details
Details for the file tree_sitter_agda-1.3.3.tar.gz.
File metadata
- Download URL: tree_sitter_agda-1.3.3.tar.gz
- Upload date:
- Size: 588.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | e95b7976fd4e6a6b590ae694962d8a536e28f1d09a44574fa466ed51e6eebafb |
|
| MD5 | 8c5eb6501b011a978ce649fe59135e03 |
|
| BLAKE2b-256 | 6b24b6be1625cc8bf932aa30e73fb5378c64fe157582c38bb66184f0eb1aef61 |
File details
Details for the file tree_sitter_agda-1.3.3-cp39-abi3-win_arm64.whl.
File metadata
- Download URL: tree_sitter_agda-1.3.3-cp39-abi3-win_arm64.whl
- Upload date:
- Size: 252.6 kB
- Tags: CPython 3.9+, Windows ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 9c968d3c4ca64a6bb33e025c04059a18e286eb60a755d723418993b36d2f13ca |
|
| MD5 | 69e0926636ada36987c81b4b1aa1a2c0 |
|
| BLAKE2b-256 | 07ce9fe65a2093cb95d50022346dedfb3ec0118bb6b3757b952a6b28be8b2ac6 |
File details
Details for the file tree_sitter_agda-1.3.3-cp39-abi3-win_amd64.whl.
File metadata
- Download URL: tree_sitter_agda-1.3.3-cp39-abi3-win_amd64.whl
- Upload date:
- Size: 255.2 kB
- Tags: CPython 3.9+, Windows x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 73b7f9c4fe8b6a7990836a14be9ece4f0ade277336cdb571c26c2939fcee107d |
|
| MD5 | 0d33198283d2f42a702cf9d3ba641b74 |
|
| BLAKE2b-256 | d6135befa418f58b470c39cc6a120c9be560097f07c82aa42551872ed159fd4d |
File details
Details for the file tree_sitter_agda-1.3.3-cp39-abi3-musllinux_1_2_x86_64.whl.
File metadata
- Download URL: tree_sitter_agda-1.3.3-cp39-abi3-musllinux_1_2_x86_64.whl
- Upload date:
- Size: 272.8 kB
- Tags: CPython 3.9+, musllinux: musl 1.2+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | c149e2acffb8a7d5e1622a36c8dafaa50882a44ac77b0b1d13c74fa2d5fcdb8a |
|
| MD5 | 285a89efa502fd2713f90e7dc11a602b |
|
| BLAKE2b-256 | d287f5d25886520c7e063a347a8e64a15c0e722ec82521397160b61314c6cf92 |
File details
Details for the file tree_sitter_agda-1.3.3-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.
File metadata
- Download URL: tree_sitter_agda-1.3.3-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 283.1 kB
- Tags: CPython 3.9+, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 0504703054a97f9fe79f471640cd7a1c63a556003e8ccc21520688f62633e6c3 |
|
| MD5 | 7de92f17f19f0b2b7e6245903cd82263 |
|
| BLAKE2b-256 | 51a79304ca6e9026b39bcdb3670fb319c90575fb08dd57ec4b186c786c135d66 |
File details
Details for the file tree_sitter_agda-1.3.3-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.
File metadata
- Download URL: tree_sitter_agda-1.3.3-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 302.1 kB
- Tags: CPython 3.9+, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | e5910c88b5c8984b872d65cf6722940cd6b0f6c168b55bef4c43dd7fd98a9c94 |
|
| MD5 | d4b4a5ce7dc6215323512b1be76c7d7d |
|
| BLAKE2b-256 | 3b664580e50b94bc2679679c4cd3ecf207474602179fca8c288e742821c9df16 |
File details
Details for the file tree_sitter_agda-1.3.3-cp39-abi3-macosx_11_0_arm64.whl.
File metadata
- Download URL: tree_sitter_agda-1.3.3-cp39-abi3-macosx_11_0_arm64.whl
- Upload date:
- Size: 270.7 kB
- Tags: CPython 3.9+, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 91a04831c527dbe3d7e30c79f2f0fa42eaf36c6976148379c583fe5c5df8975c |
|
| MD5 | b01bd2a19b5fdf11e25fcfc584ddc969 |
|
| BLAKE2b-256 | 8526e158e0988ad12b712309795515b5a7dc44067449c98b3e136778b522d83b |
File details
Details for the file tree_sitter_agda-1.3.3-cp39-abi3-macosx_10_9_x86_64.whl.
File metadata
- Download URL: tree_sitter_agda-1.3.3-cp39-abi3-macosx_10_9_x86_64.whl
- Upload date:
- Size: 254.9 kB
- Tags: CPython 3.9+, macOS 10.9+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | c6f45992d644d839ecdb8672f18f60bcc71e6e6cd904d7b982b5fcc14df3116a |
|
| MD5 | b9cba5a7df1c0e903e04fea04f3da9f6 |
|
| BLAKE2b-256 | 34abcb359bca3227898a44cca6ddb9319fb902904bdc0da12da331d0af3e7b35 |
