git.iko.soy/Idris-dev
on 5700147 help sign in
Idris-dev/test/tutorial007
5 files
../ Providers.idrNew test: Type Provider backed by new FFI_C expectedFix assumption in test that sizeof(size_t) == 8 nativetypes.cFix assumption in test that sizeof(size_t) == 8 runFix assumption in test that sizeof(size_t) == 8 tutorial007.idrFix assumption in test that sizeof(size_t) == 8