david-christiansen / IdrisSqlite

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

Update to idris 0.11 #2

Closed colin-adams closed 8 years ago

colin-adams commented 8 years ago

Apologies for the pull request on master branch. I quite forgot to create a new branch, until I had made lots of changes. Anyway, in this case it shouldn't matter, as your current master branch is quite incapable of compiling.