ilyakooo0/IdrisSqlite
1
0
Fork 0
mirror of https://github.com/ilyakooo0/IdrisSqlite.git synced 2024-08-16 04:20:23 +03:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 72a3c93440 Merge pull request #2 from colin-adams/master master David Christiansen 2016-04-22 14:57:41 -0400
  • ef7e3891d4 Ready for pull request Colin Adams 2016-04-21 08:27:24 +0100
  • c6b602557a Type-providers demo all but compiles - cant find implementation Handler Sqlite m Colin Adams 2016-04-19 21:12:52 +0100
  • 8fec8fc60e Added instruction for ensuring libffi support Colin Adams 2016-04-19 09:39:31 +0100
  • 8e69223f8d Removeds C compiler warning Colin Adams 2016-04-19 08:48:18 +0100
  • aa7151b811 Completed changes from previous commit (missed some files) and updated README.md Colin Adams 2016-04-19 08:15:02 +0100
  • 81df5a6421 Converted everything to 0.11 syntax except lemma in Queries.idr Added sqlite_test.ipkg Colin Adams 2016-04-19 08:10:15 +0100
  • 0b8918b0c7 Update for the Great Operator Renaming David Raymond Christiansen 2015-03-11 11:21:16 +0100
  • 74813cf555 Update for latest Idris FFI changes David Raymond Christiansen 2015-02-02 00:28:35 -0500
  • ef814aacab Update for Compose talk David Raymond Christiansen 2015-01-30 23:53:57 -0500
  • 26a1e7b700 Simplifications David Raymond Christiansen 2015-01-29 23:22:57 -0500
  • b0de73067b Update for The Great Rename; works on latest Git Idris David Raymond Christiansen 2015-01-08 01:00:08 -0800
  • 391daa9a94 Update to newest Idris release David Raymond Christiansen 2014-07-18 11:33:28 +0200
  • 54ca81b4cb Hack for type provider demo David Raymond Christiansen 2014-04-30 23:31:58 +0200
  • 894ae7203e Updates for current Idris David Raymond Christiansen 2014-04-30 23:31:20 +0200
  • 30ded42b14 Use pattern-matching bind for cleaner executeSelect David Raymond Christiansen 2014-04-24 23:15:15 +0100
  • 0cadf6151d Honesty about partiality David Raymond Christiansen 2014-04-24 23:06:05 +0100
  • 1e4d2163eb Bitrot fixes David Raymond Christiansen 2014-03-19 10:01:53 +0100
  • d4f143db59 Add spaces for better overview when doing talks David Raymond Christiansen 2014-03-19 10:00:41 +0100
  • 6a484dab92 Neweffects transition David Raymond Christiansen 2014-03-12 20:20:49 +0100
  • 941ff96591 Load .so from package dir David Raymond Christiansen 2014-03-12 20:20:34 +0100
  • d7455cf7f5 Fix "int" -> "integer" to avoid double David Raymond Christiansen 2014-02-06 23:38:41 +0100
  • c4bd63788a Demo of embedded language with type provider David Raymond Christiansen 2014-02-06 21:32:41 +0100
  • f2a1570c81 Support extraction and binding of doubles David Raymond Christiansen 2014-02-06 19:53:03 +0100
  • 3b96107533 Remove commented-out code David Raymond Christiansen 2014-02-05 23:47:43 +0100
  • 1d67f964e2 Test that effectful SQLite programs work David Raymond Christiansen 2014-02-05 23:43:14 +0100
  • fb6fda36b2 First SQLite code in neweffects that compiles/runs David Raymond Christiansen 2014-02-05 22:15:40 +0100
  • 2e318df896 Initial port from oldeffects to neweffects David Raymond Christiansen 2014-02-04 16:20:58 +0100
  • fabe84a22c Module name update David Raymond Christiansen 2014-02-03 13:18:05 +0100
  • cc62044451 Import MIT license from IdrisWeb David Raymond Christiansen 2014-02-03 13:14:08 +0100
  • 94e56bbfb1 Import fix from IdrisWeb. Original message: David Raymond Christiansen 2014-02-03 13:13:15 +0100
  • 0cdbb98eb1 Initial import from IdrisWeb David Raymond Christiansen 2014-02-03 11:55:16 +0100