GitHub PushEvent at 2014-05-25 18:50:11
Repository: vml
Actor: xrchz
Payload: {"shas":[["364497d7130fe411482562bfc42668d90c5b16b6","9ac2907b163c1922684cadd0b600a8d457468863@cl.cam.ac.uk","failed attempt to prove prog_to_i2_correct\n\ncomment it out entirely for now: need to find out whether the current\nprompt_to_i2_correct is good enough, and also what exactly is needed\nfrom prog_to_i2_correct.","Ramana Kumar",true]],"size":1,"ref":"refs/heads/conLang_wip","head":"364497d7130fe411482562bfc42668d90c5b16b6"}