{"repository":{"owner":"david-christiansen","description":"A very simple implementation of a little dependently typed language","has_downloads":true,"pushed_at":"2012-08-02T02:08:13-07:00","forks":0,"language":"C#","created_at":"2012-08-02T01:59:12-07:00","watchers":1,"fork":false,"size":112,"has_wiki":true,"private":false,"open_issues":0,"has_issues":true},"actor_attributes":{"type":"User","name":"David Christiansen","location":"Copenhagen, Denmark","company":"IT University of Copenhagen","email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk"},"url":"https://github.com/david-christiansen/tiny-dependent-types/compare/ca8ee93975...7a6bc5857c"}