git.iko.soy/Idris-dev
on dcdebfc 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.idrrename fmap to map 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.idrWhitespace cleanup.