IdrisSqlite icon indicating copy to clipboard operation
IdrisSqlite copied to clipboard

Published 20 hours ago • verified publisher icon david-christiansen

Build on 1.2.0

Open ethansr opened this issue 6 years ago • 0 comments

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.

ethansr avatar May 01 '18 20:05 ethansr