git.iko.soy/Idris-dev
on 293c8a2 help sign in
Idris-dev/support
7 files
../ MakefileDon't build thread support (because it doesn't work...) 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 threads.cAdd mkLazyForeign primitive threads.hAdd mkLazyForeign primitive