[ refactor ] remove redundant list types - Githubissues

stefan-hoeck / idris2-sqlite3

Idris2 bindings to the sqlite3 C-API

BSD 3-Clause "New" or "Revised" License

3 stars 1 forks source link

[ refactor ] remove redundant list types #12

Closed stefan-hoeck closed 9 months ago