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
32 Commits 1 Branch 0 Tags 101 KiB
master
Commit Graph

4 Commits

Author SHA1 Message Date
Colin Adams
c6b602557a Type-providers demo all but compiles - cant find implementation Handler Sqlite m 2016-04-19 21:12:52 +01:00
Colin Adams
8e69223f8d Removeds C compiler warning 2016-04-19 08:48:18 +01:00
Colin Adams
aa7151b811 Completed changes from previous commit (missed some files) and updated README.md 2016-04-19 08:15:02 +01:00
Colin Adams
81df5a6421 Converted everything to 0.11 syntax except lemma in Queries.idr 
Added sqlite_test.ipkg
 2016-04-19 08:10:15 +01:00