agda-mode
| Crates.io | agda-mode |
| lib.rs | agda-mode |
| version | 0.1.8 |
| source | src |
| created_at | 2019-11-08 08:00:24.516817 |
| updated_at | 2020-11-19 15:51:30.10761 |
| description | Accessing Agda's interaction mode via command line, in Rust |
| homepage | |
| repository | https://github.com/ice1000/agda-mode |
| max_upload_size | |
| id | 179318 |
| size | 70,001 |
Tesla Zhang‮ (ice1000)
documentation
README
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.