git.iko.soy/Idris-dev
on ace080c 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.idrMinor style and readability updates 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