{"repository":{"description":"A demo implementation of a simple dependently-typed language for OPLSS 2013","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":38,"owner":"sweirich","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-07-20T07:13:37-07:00","pushed_at":"2013-07-24T13:52:50-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Stephanie Weirich","company":"University of Pennsylvania","blog":"http://www.seas.upenn.edu/~sweirich","location":"Philadelphia","email":"2a6f7b63e3187e02fe56ea001850ed207665f5e9@cis.upenn.edu"},"url":"https://github.com/sweirich/pi-forall/compare/3092f546d6...c9a4d2c36e"}