https://github.com/david-christiansen/IdrisSqlite
Idris40
6 years ago
Effectful bindings for SQLite (forked from IdrisWeb)
MIT License
Type provider library for Idris
Idris85