agda-mode

Accessing Agda's interaction mode via command line.

This crate currently works only with nightly rust because tokio-process 0.3 haven't reached a stable-compatible release. Once they release a newer (even alpha) version, this crate should work for stable as well.