../ CFFI/Make type of `withAlloc` more general9 years ago Control/removed unnecessary whitespace.9 years ago Data/Add `group` and `groupBy` to contrib9 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/Make Network.Socket work on Windows9 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 Idris to install IdrisDoc into a central location.10 years ago contrib.ipkgMerge pull request #4226 from XeFias/contrib_ST_File9 years ago