GitHub PushEvent at 2014-11-10 23:42:54
Repository: agdaExamples
Actor: alexgadea
Payload: {"shas":[["2dbb0d4e95ae336e20e9be3842eddd83623e3f50","12aa1a807a1e4c0c6f6b167898fbc3175c13f996@gmail.com","Mejorando la parte de argumentos implicitos.","Ale Gadea",true]],"size":1,"ref":"refs/heads/master","head":"2dbb0d4e95ae336e20e9be3842eddd83623e3f50"}