agda-mode (cargo): Accessing Agda's interaction mode via command line, in Rust
Keywords: agda|command-line-tool