Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/tree-sitter/tree-sitter-agda
Agda grammar for tree-sitter
https://github.com/tree-sitter/tree-sitter-agda
agda context-free-grammar syntax-highlighting tree-sitter
Last synced: about 2 months ago
JSON representation
Agda grammar for tree-sitter
- Host: GitHub
- URL: https://github.com/tree-sitter/tree-sitter-agda
- Owner: tree-sitter
- License: mit
- Created: 2018-03-13T02:57:30.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2024-03-16T14:38:46.000Z (6 months ago)
- Last Synced: 2024-07-17T00:04:14.860Z (2 months ago)
- Topics: agda, context-free-grammar, syntax-highlighting, tree-sitter
- Language: Yacc
- Homepage:
- Size: 30.4 MB
- Stars: 31
- Watchers: 7
- Forks: 15
- Open Issues: 11
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-tree-sitter - Agda
README
# 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