{"repository":{"description":"Solved assignments for the ETH Zurich course \"Formal Methods and Functional Programming\" (SS13)","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":144,"owner":"groggi","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2013-02-21T10:31:50-08:00","pushed_at":"2013-03-07T08:24:55-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Gregor Wegberg","blog":"","location":"Zurich, Switzerland","email":"64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@gregorwegberg.com"},"url":"https://github.com/groggi/eth-fmfp/compare/4ace6452d1...d09ecf6b05"}