Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

agda-tac 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.



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.

You can’t perform that action at this time.