{"repository":{"stargazers":0,"owner":"mn200","has_issues":true,"has_downloads":true,"open_issues":0,"fork":false,"size":492,"has_wiki":true,"created_at":"2013-01-07T19:39:24-08:00","description":"About mechanisations of the ordinals in higher order logic","watchers":0,"private":false,"pushed_at":"2013-01-28T22:10:53-08:00","forks":0,"language":"Standard ML"},"actor_attributes":{"name":"Michael Norrish","blog":"http://corollary.artefact.org.nz","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","location":"Canberra","company":"NICTA","type":"User"},"url":"https://github.com/mn200/ordinals-paper/compare/82be03cb25...56389ea631"}