git.iko.soy/Idris-dev
on 5b3f95a help sign in
Idris-dev/test/interfaces008
3 files
../ expectedFixes #1211 : checking default impl in interfaces through parent constraints recursively interfaces008.idrFixes #1211 : checking default impl in interfaces through parent constraints recursively runFixes #1211 : checking default impl in interfaces through parent constraints recursively