git.iko.soy/Idris-dev
on 731c6e4 help sign in
Idris-dev/test/tutorial007
5 files
../ Providers.idrNew test: Type Provider backed by new FFI_C expectedNew test: Type Provider backed by new FFI_C nativetypes.cNew test: Type Provider backed by new FFI_C runNew test: Type Provider backed by new FFI_C tutorial007.idrNew test: Type Provider backed by new FFI_C