![dep-svg]Accessing Agda's interaction mode via command line. This library is created for agda-tac.
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 rust as well.
Also, this crate will work with master-branch Agda until Agda 2.6.1 is released. Tracking issue for the feature: agda#4183.