git.iko.soy/Idris-dev
on fdfcdd3 help sign in
Idris-dev/test/directives003
3 files
../ directives003.idrPass directives to C backend in given order (#4078) expectedPass directives to C backend in given order (#4078) runPass directives to C backend in given order (#4078)