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

[ new ] add additional expressions #8

Closed stefan-hoeck closed 10 months ago