agda-mode 0.1.8

Accessing Agda's interaction mode via command line, in Rust
Documentation

agda-mode

Crates.io Crates.io Crates.io docs.rs Actions Status dep-svg Gitter

Binary download

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.