git.iko.soy/Idris-dev
on f0a67ff help sign in
Idris-dev/test/interfaces003
3 files
../ expectedPass scope through to local interfaces interfaces003.idrMore control over resolving named implementations runPass scope through to local interfaces