agda-tac

TODO: document this crate.