git.iko.soy/Idris-dev
on f572cd0 help sign in
Idris-dev/contribs/lib/SQLite3
10 files
../ Makefileupdate sqlite3 bindings to new Idris syntax Sqlexpr.idrMinor formatting and readability updates Sqlite3.idrChanged (<$>) to (<*>) 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.idrAddress semantic differences in putting things to STDOUT.