{"shas":[["82a155c813079c63371c3db51940cb742661fcdd","a6c5230a10c458028ff1bd5985dd47c394028d47@hughbien.com","Last notes on types.","Hugh Bien"]],"repo":"hughbien/notebook","actor":"hughbien","ref":"refs/heads/master","size":1,"head":"82a155c813079c63371c3db51940cb742661fcdd","actor_gravatar":"1fad3069c05ac5e3e9a913a17c38df8d","push_id":30251963}