A TACtic library for Agda
This library provides an interface for writing tactics for Agda. It also provides several basic tactics and tactic combinators.
Currently the following tactics are supported:
The library is currently still work in progress and anything is subject to change at any time.