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