{"push_id":616180845,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"464174ba781eefda6de66dca12744483d981b88e","before":"d1e8041b5cf46905ac4e60eda4b7ab4aebb19d18","commits":[{"sha":"d008aeeb74e693bb775e85793c5307640f053531","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"changed parameters of type of natural transformations","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/d008aeeb74e693bb775e85793c5307640f053531"},{"sha":"464174ba781eefda6de66dca12744483d981b88e","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"Merge pull request #85 from benediktahrens/nat_trans_args\n\nchanged parameters of type of natural transformations","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/464174ba781eefda6de66dca12744483d981b88e"}]}