git.iko.soy/Idris-dev
on a37fc8a 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.