edwinb/Idris-dev — pull request #296 by david-christiansen (2013-04-30 20:28:23+00:00)
Title: Sqlite bindings updated to work with latest Idris and on Linux

Issues fixed:
1. Type class hierarchy (Functor => Applicative => Monad)
2. File name case sensitivity (filenames now match module names in case)