git.iko.soy/Idris-dev
on 19a87f3 help sign in
Idris-dev/test/interfaces008
3 files
../ expectedAdd blank line after "large" messages interfaces008.idrFixes #1211 : checking default impl in interfaces through parent constraints recursively runFixes #1211 : checking default impl in interfaces through parent constraints recursively