Update Event.idr