agda-mode

二进制下载

通过命令行访问Agda的交互模式。此库为agda-tac创建。从1.39.0版本的稳定Rust开始工作。

此crate仅在Agda 2.6.1发布之前与master分支的Agda一起工作。有关此功能的跟踪问题请见agda#4183和agda#4209，现在两者都支持JSON。