agda-mode 0.1.8

Accessing Agda's interaction mode via command line, in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

# agda-mode

[![Crates.io](https://img.shields.io/crates/d/agda-mode.svg)][crates]
[![Crates.io](https://img.shields.io/crates/v/agda-mode.svg)][lib-rs]
[![Crates.io](https://img.shields.io/crates/l/agda-mode.svg)][crates]
[![docs.rs](https://docs.rs/agda-mode/badge.svg)][doc-rs]
[![Actions Status][ga-svg]][ga-url]
[![dep-svg]][dep-rs]
[![Gitter][gt-svg]][gt-url]

 [crates]: https://crates.io/crates/agda-mode
 [lib-rs]: https://lib.rs/agda-mode
 [doc-rs]: https://docs.rs/agda-mode
 [dep-rs]: https://deps.rs/repo/github/ice1000/agda-mode
 [dep-svg]: https://deps.rs/repo/github/ice1000/agda-mode/status.svg
 [ga-svg]: https://github.com/ice1000/agda-mode/workflows/build/badge.svg
 [ga-url]: https://github.com/ice1000/agda-mode/actions
 [gt-url]: https://gitter.im/ice1000/agda-mode?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge
 [gt-svg]: https://badges.gitter.im/ice1000/agda-mode.svg
 [agda#4183]: https://github.com/agda/agda/issues/4183
 [agda#4209]: https://github.com/agda/agda/issues/4209
 [agda-tac]: https://github.com/ice1000/agda-mode/tree/master/agda-tac

### [Binary download](https://github.com/ice1000/agda-mode/releases/tag/v0.1.6)

Accessing Agda's interaction mode via command line.
This library is created for [agda-tac].
It works with stable rust starting from 1.39.0.

This crate will work only with master-branch Agda until Agda 2.6.1 is released.
Tracking issues for the feature are [agda#4183] and [agda#4209], both work for JSON now.