../ CFFI/test/ffi008 was failing on x869 years ago Control/Fix binding rules in patterns9 years ago Data/Changed the file name and location so this will build properly renamed: Data/Nat/Difference.idr -> Data/Nat.idr8 years ago Decidable/Change Instance to implementation (#3404)10 years ago Interfaces/adjust fixities of common operators9 years ago Language/indented JSON formatting9 years ago Network/Fix #4346 - add Network.Socket.recvAll9 years ago System/prim__vm needs to take a World reference10 years ago Test/Tidied up the ipkg listing.9 years ago Text/add regular expression equivalents to Text.Lexer documentation9 years ago CFFI.idrStart high level C FFI support11 years ago MakefileAllow overriding IDRIS via environment variable9 years ago contrib.ipkgAdded Data.Nat to package file modified: libs/contrib/contrib.ipkg8 years ago