../ CFFI/Hide more features behind %language pragmas10 years ago Control/Add IOExcept implementation for ST.ConsoleIO9 years ago Data/add Uninhabited instances for True=False, remove unused proof from Data.Heap9 years ago Decidable/Change Instance to implementation (#3404)10 years ago Interfaces/Remove commented-out code from libs/contrib/Interfaces/Verified.idr10 years ago Network/Missing header in Socket.idr10 years ago System/prim__vm needs to take a World reference10 years ago Text/A revised Idris port of the Wadler-Leijen pretty-printer.9 years ago CFFI.idrStart high level C FFI support11 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago contrib.ipkgA revised Idris port of the Wadler-Leijen pretty-printer.9 years ago