11 releases

0.1.8 Nov 19, 2020
0.1.7 Nov 27, 2019
0.0.2 Nov 13, 2019

#265 in Text editors

Download history 21/week @ 2023-10-31 6/week @ 2023-11-07 9/week @ 2023-11-14 15/week @ 2023-11-21 51/week @ 2023-11-28 14/week @ 2023-12-05 15/week @ 2023-12-12 4/week @ 2023-12-19 25/week @ 2023-12-26 4/week @ 2024-01-02 4/week @ 2024-01-09 3/week @ 2024-01-16 34/week @ 2024-01-23 46/week @ 2024-01-30 10/week @ 2024-02-06 64/week @ 2024-02-13

154 downloads per month
Used in agda-tac

Apache-2.0

57KB
1.5K SLoC

agda-mode

Crates.io Crates.io Crates.io docs.rs Actions Status dep-svg Gitter

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