GitHub repository: stefan-hoeck/idris2-sqlite3
Primary language: Idris
Created: 2023-07-27T12:47:22Z
Description: Idris2 bindings to the sqlite3 C-API