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