|0.1.5||Nov 19, 2020|
|0.1.4||Nov 27, 2019|
|0.0.1||Nov 13, 2019|
#2801 in Command line utilities
23 downloads per month
This little toy is the reason why I created agda-mode. It's an interactive and external tactic framework for the Agda programming language.
There's a blog about this crate.