git.iko.soy/Idris-dev
on e30ff97 help sign in
Idris-dev/support
7 files
../ MakefileFix .PHONY targets in Makefiles 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