git.iko.soy/Idris-dev
on 6ef51e3 help sign in
Idris-dev/test/error009
2 files
../ expectedFix error message for unsuccessful namespace disambiguation runFix error message for unsuccessful namespace disambiguation