on cfd6dbc help sign in
all commits
b21a0b4update sqlite3 bindings to new Idris syntaxHeather c6540d0Build SQLite interface as shared library for dynamic loadingDavid Christiansen 8b7db47Linux compatibility and Idris updatesDavid Christiansen 55ba776updated Makefilemelissam 01a9216added makefilemelissam