ilyakooo0/IdrisSqlite
1
0
Fork 0
mirror of https://github.com/ilyakooo0/IdrisSqlite.git synced 2024-09-11 09:05:27 +03:00
Code Issues Projects Releases Wiki Activity
72a3c93440
IdrisSqlite/type_provider-demo
History
Colin Adams ef7e3891d4 Ready for pull request
2016-04-21 08:27:24 +01:00
..
demo.ipkg Ready for pull request 2016-04-21 08:27:24 +01:00
Test.idr Ready for pull request 2016-04-21 08:27:24 +01:00
test.sqlite Ready for pull request 2016-04-21 08:27:24 +01:00