# tree-sitter-agda

**Repository Path**: bison-fork/tree-sitter-agda

## Basic Information

- **Project Name**: tree-sitter-agda
- **Description**: fork自：https://github.com/tree-sitter/tree-sitter-agda.git，tree-sitter的agda语法分析器
- **Primary Language**: Rust
- **License**: MIT
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2021-10-09
- **Last Updated**: 2021-10-09

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Agda Grammar for tree-sitter

[![Build Status](https://travis-ci.org/tree-sitter/tree-sitter-agda.svg?branch=master)](https://travis-ci.org/tree-sitter/tree-sitter-agda)

Syntax highlighting and code folding done right (with context-free grammar, finally!)

![tree-sitter](https://i.imgur.com/7Pfmqjv.png)

## 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
```