../ CFFI/Add conversion CPtr to Ptr11 years ago Classes/Fix implicit name bindings in interfaces11 years ago Control/Move Accessible to Prelude11 years ago Data/Move Accessible to Prelude11 years ago Decidable/Change export qualifier keywords11 years ago Network/Small naming changes to the IdrisNet.Socket module.11 years ago System/findCalls should find constructors too11 years ago CFFI.idrStart high level C FFI support11 years ago MakefileInitial reorganization into contrib12 years ago contrib.ipkgMove Accessible to Prelude11 years ago