{"shas":[["1b65a0cecb89eda02b608ec92dddad86cd33a259","f293d7b577cae6a34819a662c2004fc2f413ccf4@gmail.com","got the parser working","jsalvatier"]],"repo":"jsalvatier/type_theory","actor":"jsalvatier","ref":"refs/heads/master","size":1,"head":"1b65a0cecb89eda02b608ec92dddad86cd33a259","actor_gravatar":"ef51b6c49b0e2ee4c3bcced82868f4ec","push_id":29051035}