{"push_id":758235885,"size":1,"distinct_size":1,"ref":"refs/heads/tpair-arguments","head":"3e12ff8ae5db9905f83937e5e7458ae620e0183a","before":"6cb28f87ba88c490f5c2240d4b2b66241213abb3","commits":[{"sha":"3e12ff8ae5db9905f83937e5e7458ae620e0183a","author":{"email":"3260172cf68a6e6438ef182097ef4bd76169c572@hri.res.in","name":"N. Raghavendra"},"message":"Removed superfluous Arguments declaration for tpair.\n\nFixes UniMath/UniMath#130.","distinct":true,"url":"https://api.github.com/repos/nyraghu/UniMath/commits/3e12ff8ae5db9905f83937e5e7458ae620e0183a"}]}