{"push_id":1097152730,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ebc30cf50b6a1573ef68d3ab5680182ef90d7c84","before":"46e283b8ef6b7ffaa43809d20abe3019ff5be726","commits":[{"sha":"ebc30cf50b6a1573ef68d3ab5680182ef90d7c84","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"Add coe computation rules for bool, S1, fun and prod","distinct":true,"url":"https://api.github.com/repos/jonsterling/sml-cubical-realizability/commits/ebc30cf50b6a1573ef68d3ab5680182ef90d7c84"}]}