git.iko.soy/Idris-dev
on f8a6746 help sign in
Idris-dev/test/reg049
3 files
../ expectedRenamed VoidElim to void in order to ensure further consistency reg049.idrRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up runReinsert check for constructor/family mismatch.