agda-tac

Crates.ioagda-tac
lib.rsagda-tac
version0.1.5
sourcesrc
created_at2019-11-13 05:01:04.333454+00
updated_at2020-11-19 15:53:25.555826+00
descriptionAgda - Tactical And Comprehensible
homepage
repositoryhttps://github.com/ice1000/agda-mode
max_upload_size
id180848
size47,725
Tesla Zhang‮ (ice1000)

documentation

README

agda-tac

Crates.io Crates.io Crates.io Actions Status

This little toy is the reason why I created agda-mode. It's an interactive and external tactic framework for the Agda programming language.

Demo:

asciicast

Per-commit build can be found in the GitHub Actions page (see instruction. You may not be able to see the actions page if you are not chosen by GitHub to be able to use GitHub Actions).

There's a blog about this crate.

Commit count: 218

cargo fmt