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