Update Event.idr
Merge pull request #4 from ak3n/patch-1

Update Event.idr