11 releases
| 0.1.8 | Nov 19, 2020 |
|---|---|
| 0.1.7 | Nov 27, 2019 |
| 0.0.2 | Nov 13, 2019 |
#4 in #agda
55 downloads per month
Used in agda-tac
57KB
1.5K
SLoC
agda-mode
Binary download
Accessing Agda's interaction mode via command line. This library is created for agda-tac. It works with stable rust starting from 1.39.0.
This crate will work only with master-branch Agda until Agda 2.6.1 is released. Tracking issues for the feature are agda#4183 and agda#4209, both work for JSON now.
Dependencies
~6MB
~102K SLoC