../ CFFI/test/ffi008 was failing on x869 years ago Control/Eliminate redundant lets.8 years ago Data/Add Show instance for SortedMap8 years ago Decidable/Change Instance to implementation (#3404)10 years ago Interfaces/Added Proposition interface. (#4576)8 years ago Language/indented JSON formatting9 years ago Network/Replace hardcoded constants from <sys/socket.h> with FFI references8 years ago System/prim__vm needs to take a World reference10 years ago Test/Tidied up the ipkg listing.9 years ago Text/fix octal digits lexer8 years ago CFFI.idrStart high level C FFI support11 years ago MakefileAllow overriding IDRIS via environment variable9 years ago contrib.ipkgProve some most basic laws of abstract algebra:8 years ago