git.iko.soy/Idris-dev
on d1663cc help sign in
Idris-dev/test/reg025
3 files
../ expectedNormalise pattern types when typechecking reg025.idrNormalise pattern types when typechecking runNormalise pattern types when typechecking