git.iko.soy/Idris-dev
on 78c76fe help sign in
Idris-dev/contribs/lib/SQLite3
10 files
../ Makefileupdate sqlite3 bindings to new Idris syntax Sqlexpr.idrMinor formatting and readability updates Sqlite3.idrupdate sqlite3 bindings to new Idris syntax 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.