git.iko.soy/Idris-dev
on cbc8a13 help sign in
Idris-dev/contribs/lib/SQLite3
16 files
../ ._Makefileupdated Makefile ._sqlexpr.idrlatest version ._sqlite3.idrlatest version ._sqlite3api.ctidying up the code ._sqlite3api.hcommented C code and got rid of some unwated functions ._testunit.idrfixed a bug for nested SELECT queries Makefileupdated Makefile newdb.dbsqlite3 lib somedb.dbfixed binds sqlexpr.idruppercase modulenames sqlite3.idruppercase modulenames 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