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 ] a simple DSL for writing type safe SQL commands and expressions #7

Closed stefan-hoeck closed 10 months ago