This is a type provider library for Idris.

Examples thus far:

OS Support:

For now, I only test the library on GNU/Linux. With minor changes, it should work on other systems - primarily the build system will need updating.

To use:

First, you must build the wrapper library for SQLite. Run "make".

Then, load Main.idr in Idris. This contains a statically-checked query.