git.iko.soy/Idris-dev
on 4d1bd2d help sign in
Idris-dev/support
5 files
../ MakefileInstall support headers; allow arbitrary types in foreign calls network.cInstall support headers; allow arbitrary types in foreign calls network.hInstall support headers; allow arbitrary types in foreign calls testidr.cAdded support/ directory so that library can use C support files testidr.hAdded support/ directory so that library can use C support files