git.iko.soy/Idris-dev
on cf47310 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