error_test/Ready for pull request10 years ago src/Removeds C compiler warning10 years ago type-provider/Ready for pull request10 years ago type_provider-demo/Ready for pull request10 years ago .gitignoreReady for pull request10 years ago LICENSEImport MIT license from IdrisWeb13 years ago README.mdReady for pull request10 years ago sqlite.ipkgCompleted changes from previous commit (missed some files) and updated README.md10 years ago sqlite_test.ipkgConverted everything to 0.11 syntax except lemma in Queries.idr Added sqlite_test.ipkg10 years ago test.dbType-providers demo all but compiles - cant find implementation Handler Sqlite m10 years ago