../ CFFI/Make a few Show instances parenthesise properly9 years ago Control/Add IOExcept implementation for ST.ConsoleIO9 years ago Data/add Data.Pairs.Implicit for converting erased pairs9 years ago Decidable/Change Instance to implementation (#3404)10 years ago Interfaces/remove Interfaces.Zippable in favor of Interfaces.Correlative9 years ago Network/Make Network.Socket work on Windows9 years ago System/prim__vm needs to take a World reference10 years ago Text/Fix deprecation warning in Text.Literate9 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 #4024 from msmorgan/feature/correlative9 years ago