GitHub PushEvent at 2014-04-07 23:54:02
Repository: fotc
Actor: asr
Payload: {"shas":[["d50f72236e4009f8db49bd947117cb58b3cbfccb","1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","Removed Agda with constructor from the proof of streamLength.","Andrés Sicard-Ramírez",true]],"size":1,"ref":"refs/heads/master","head":"d50f72236e4009f8db49bd947117cb58b3cbfccb"}