{"action":"created","issue":{"url":"https://api.github.com/repos/qux-lang/language-qux/issues/3","labels_url":"https://api.github.com/repos/qux-lang/language-qux/issues/3/labels{/name}","comments_url":"https://api.github.com/repos/qux-lang/language-qux/issues/3/comments","events_url":"https://api.github.com/repos/qux-lang/language-qux/issues/3/events","html_url":"https://github.com/qux-lang/language-qux/issues/3","id":105160067,"number":3,"title":"Method contracts","user":{"login":"hjwylde","id":2843467,"avatar_url":"https://avatars.githubusercontent.com/u/2843467?v=3","gravatar_id":"","url":"https://api.github.com/users/hjwylde","html_url":"https://github.com/hjwylde","followers_url":"https://api.github.com/users/hjwylde/followers","following_url":"https://api.github.com/users/hjwylde/following{/other_user}","gists_url":"https://api.github.com/users/hjwylde/gists{/gist_id}","starred_url":"https://api.github.com/users/hjwylde/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hjwylde/subscriptions","organizations_url":"https://api.github.com/users/hjwylde/orgs","repos_url":"https://api.github.com/users/hjwylde/repos","events_url":"https://api.github.com/users/hjwylde/events{/privacy}","received_events_url":"https://api.github.com/users/hjwylde/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/qux-lang/language-qux/labels/kind:%20code","name":"kind: code","color":"9C27B0"},{"url":"https://api.github.com/repos/qux-lang/language-qux/labels/new:%20feature","name":"new: feature","color":"4CAF50"},{"url":"https://api.github.com/repos/qux-lang/language-qux/labels/status:%20breakdown","name":"status: breakdown","color":"607D8B"}],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/qux-lang/language-qux/milestones/3","html_url":"https://github.com/qux-lang/language-qux/milestones/v2.0.0.0","labels_url":"https://api.github.com/repos/qux-lang/language-qux/milestones/3/labels","id":1349990,"number":3,"title":"v2.0.0.0","description":"","creator":{"login":"hjwylde","id":2843467,"avatar_url":"https://avatars.githubusercontent.com/u/2843467?v=3","gravatar_id":"","url":"https://api.github.com/users/hjwylde","html_url":"https://github.com/hjwylde","followers_url":"https://api.github.com/users/hjwylde/followers","following_url":"https://api.github.com/users/hjwylde/following{/other_user}","gists_url":"https://api.github.com/users/hjwylde/gists{/gist_id}","starred_url":"https://api.github.com/users/hjwylde/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hjwylde/subscriptions","organizations_url":"https://api.github.com/users/hjwylde/orgs","repos_url":"https://api.github.com/users/hjwylde/repos","events_url":"https://api.github.com/users/hjwylde/events{/privacy}","received_events_url":"https://api.github.com/users/hjwylde/received_events","type":"User","site_admin":false},"open_issues":3,"closed_issues":0,"state":"open","created_at":"2015-10-12T04:35:39Z","updated_at":"2015-10-12T04:35:58Z","due_on":null,"closed_at":null},"comments":1,"created_at":"2015-09-07T07:13:08Z","updated_at":"2015-10-29T00:33:05Z","closed_at":null,"body":"Support for method contracts via `requires` and `ensures` keywords. Method contracts are mathematical statements that will be verified by some tool (think SMT solver or theorem prover).\r\n\r\nThe syntax of method contracts are still to be decided. I'll probably take some inspiration from [Whiley](http://whiley.org/) and [Dafny](http://research.microsoft.com/en-us/projects/dafny/)."},"comment":{"url":"https://api.github.com/repos/qux-lang/language-qux/issues/comments/152039883","html_url":"https://github.com/qux-lang/language-qux/issues/3#issuecomment-152039883","issue_url":"https://api.github.com/repos/qux-lang/language-qux/issues/3","id":152039883,"user":{"login":"hjwylde","id":2843467,"avatar_url":"https://avatars.githubusercontent.com/u/2843467?v=3","gravatar_id":"","url":"https://api.github.com/users/hjwylde","html_url":"https://github.com/hjwylde","followers_url":"https://api.github.com/users/hjwylde/followers","following_url":"https://api.github.com/users/hjwylde/following{/other_user}","gists_url":"https://api.github.com/users/hjwylde/gists{/gist_id}","starred_url":"https://api.github.com/users/hjwylde/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hjwylde/subscriptions","organizations_url":"https://api.github.com/users/hjwylde/orgs","repos_url":"https://api.github.com/users/hjwylde/repos","events_url":"https://api.github.com/users/hjwylde/events{/privacy}","received_events_url":"https://api.github.com/users/hjwylde/received_events","type":"User","site_admin":false},"created_at":"2015-10-29T00:33:05Z","updated_at":"2015-10-29T00:33:05Z","body":"This feature is jumping the gun and will need to be broken down when come to."}}