git.iko.soy/Idris-dev
on 76ec3fe help sign in
Idris-dev/test/tactics001
3 files
../ Tactics.idrAllow new-style tactics to declare function signatures expectedAdd "rewrite" to new-style tactics runAdd "rewrite" to new-style tactics