sqlite-lean

Sqlite3 bindings for lean4 (mirror)

Commits at 5eddf360fe2676b23be5b2a94288f1d7b8047942

  1. 5eddf360 fix: prepare cursor without executing and represent result as Except BRonen authored at BRonen comitted at
  2. a84c3828 refactor: changing FFI namespace interface BRonen authored at BRonen comitted at
  3. 7bf39f92 refactor: cleaning project BRonen authored at BRonen comitted at
  4. 58f3a7b2 feat(ffi): sqlite text and int columns parsing BRonen authored at BRonen comitted at
  5. d55de21d feat(ffi): add cursor reset method interface BRonen authored at BRonen comitted at
  6. 17d4f05f feat(ffi): add cursor step interface BRonen authored at BRonen comitted at
  7. adad17cc fix(ffi): exec rows return using the result inductive BRonen authored at BRonen comitted at
  8. 646d35ec feat(ffi): add sqlite prepare interface BRonen authored at BRonen comitted at
  9. f118a9aa feat(ffi): add sqlite open method interface BRonen authored at BRonen comitted at
  10. fc9f7a16 feat(ffi): add sqlite dependency BRonen authored at BRonen comitted at
  11. 13b241e4 feat: initial ffi setup BRonen authored at BRonen comitted at