agda-mode 0.1.8

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