search

david-christiansen / IdrisSqlite

Effectful bindings for SQLite (forked from IdrisWeb)
MIT License
41 stars 6 forks source link

Build on 1.2.0 #4

Open ethansr opened 6 years ago

ethansr commented 6 years ago

I've made minor edits that allow all of the packages to build and run as expected on Idris 1.2.0.

The README now has a bit more formatting and specifies SQLite and gc as dependencies.