GitHub PushEvent at 2014-11-05 03:34:09
Repository: purescript
Actor: paf31
Payload: {"shas":[["b7dd289397434c22e0702d58649205f9b5eac632","d07cea705f5706d471b0bcf6725079e0f87045f3@cantab.net","Embed the Prelude. Fix #673","Phil Freeman",false],["cf65dc8ce83b05048cd665315c65aff82ed5af2f","d07cea705f5706d471b0bcf6725079e0f87045f3@cantab.net","Tidy up type signatures, use a better type for optional file paths.","Phil Freeman",false],["2146efc5009e33c2e25d87d5e4408a5d1d8954a7","d07cea705f5706d471b0bcf6725079e0f87045f3@cantab.net","Update release notes","Phil Freeman",false],["f10e96bc4c501e4cd475308e4f1c893dbb884dab","d07cea705f5706d471b0bcf6725079e0f87045f3@cantab.net","Merge pull request #677 from purescript/embed\n\nEmbed the Prelude","Phil Freeman",true]],"size":4,"ref":"refs/heads/master","head":"f10e96bc4c501e4cd475308e4f1c893dbb884dab"}