git.iko.soy/Idris-dev
on 7d42ba2 help sign in
Idris-dev/test/tactics001
3 files
../ Tactics.idrAdd "rewrite" to new-style tactics expectedAdd "rewrite" to new-style tactics runAdd "rewrite" to new-style tactics