GitHub PushEvent at 2014-01-17 13:27:48
Repository: agda-stdlib
Actor: andreasabel
Payload: {"shas":[["1fe37356778a0a6e7188de2d7cee05968664a9d6","dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","Injectivity of Vec-cons by Herlmut Grohne <grohne@cs.uni-bonn.de>","Andreas Abel",true]],"size":1,"ref":"refs/heads/master","head":"1fe37356778a0a6e7188de2d7cee05968664a9d6"}