idris-hackers/IdrisWeb — pull request #4 by SimonJF (2013-11-11 00:54:18+00:00)
Title: Rewrote SQLite library.

Also deleted all those ~ files that were floating around for some reason