git.iko.soy/Idris-dev
on a34dbcf help sign in
Idris-dev/test/reg049
3 files
../ expectedReinsert check for constructor/family mismatch. reg049.idrReinsert check for constructor/family mismatch. runReinsert check for constructor/family mismatch.