git.iko.soy/Idris-dev
on 7d42ba2 help sign in
Idris-dev/rts/libtest.c
1 line 14 B history raw
1int main() {}