search

stefan-hoeck / idris2-sqlite3

Idris2 bindings to the sqlite3 C-API
BSD 3-Clause "New" or "Revised" License
3 stars 1 forks source link

[ ci ] enable CI #1

Closed stefan-hoeck closed 1 year ago