agda-mode icon indicating copy to clipboard operation
agda-mode copied to clipboard

Published 20 hours ago • verified publisher icon ice1000
→

Metadata

Accessing Agda's interaction mode via command line & external tactic for Agda.

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.47.0.

This crate works with Agda >=2.6.1. Tracking issues for the required features: agda#4183, agda#4209 and agda#5052.

← Metadata

26
Stars
4
Forks
Watchers

Owner

verified publisher icon ice1000

Metadata

Accessing Agda's interaction mode via command line & external tactic for Agda.

Back