idris-hackers/iQuery — pull request #4 by ak3n (2014-06-09 10:22:31+00:00)
Title: Update Event.idr

Invalid syntax.