git.iko.soy/Idris-dev
on 89c19be help sign in
Idris-dev/test/basic013
3 files
../ basic013.idrString in C is now UTF8 encoded expectedString in C is now UTF8 encoded runString in C is now UTF8 encoded