../ CFFI/Hide more features behind %language pragmas10 years ago Control/Added Control.ST to contrib10 years ago Data/Add proof of associativity of addition for integers (Data.ZZ).10 years ago Decidable/Change Instance to implementation (#3404)10 years ago Interfaces/'case' in interface methods now works10 years ago Network/add Network/Socket/Data.idr10 years ago System/prim__vm needs to take a World reference10 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 #3583 from PoroCYon/master10 years ago