Accessing Agda's interaction mode via command line. This library is created for agda-tac. It works with stable rust starting from 1.47.0.
This crate works with Agda >=2.6.1. Tracking issues for the required features: agda#4183, agda#4209 and agda#5052.