Update Event.idr

Invalid syntax.