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