git.iko.soy/Idris-dev
on 1280aea help sign in
Idris-dev/contribs/lib/SQLite3
10 files
../ MakefileBuild SQLite interface as shared library for dynamic loading Sqlexpr.idrMinor formatting and readability updates Sqlite3.idrAdded backend target specification to %lib, %link and %include directives newdb.dbsqlite3 lib somedb.dbfixed binds sqlite3.texlatest version sqlite3api.cSupport linking external .o files in new compiler sqlite3api.hcommented C code and got rid of some unwated functions students.dberror handling testunit.idruppercase modulenames