GitHub PushEvent at 2014-12-23 01:15:14
Repository: constructive-sheaf-semantics
Actor: jonsterling
Payload: {"shas":[["9b91633179dcd72958977e7a17471ec4462ea21b","44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","remove symbols not supported by my font :(","Jonathan Sterling",true],["25c486399e23ce20121208348025717728f89ecd","44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","rename basis laws to match n-lab; add link to n-lab","Jonathan Sterling",true]],"size":2,"ref":"refs/heads/master","head":"25c486399e23ce20121208348025717728f89ecd"}