ilyakooo0/IdrisSqlite
1
0
Fork 0
mirror of https://github.com/ilyakooo0/IdrisSqlite.git synced 2024-10-03 20:30:41 +03:00
Code Issues Projects Releases Wiki Activity

Converted everything to 0.11 syntax except lemma in Queries.idr

Browse Source 
Added sqlite_test.ipkg
This commit is contained in:
Colin Adams 2016-04-19 08:10:15 +01:00
parent 0b8918b0c7
commit 81df5a6421
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
sqlite_test.ipkg Normal file
View File

@ -0,0 +1,9 @@
package sqlite_test
pkgs = effects, sqlite
sourcedir = src
modules = DB.SQLite.SQLiteTest
executable = sqlite_test
main = DB.SQLite.SQLiteTest

0
src/DB/SQLite/test.db → test.db
View File