{"action":"opened","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/4","labels_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/4/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/4/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/4/events","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/issues/4","id":123543847,"number":4,"title":"[CLOSED] bot kvars","user":{"login":"gridaphobe","id":201997,"avatar_url":"https://avatars.githubusercontent.com/u/201997?v=3","gravatar_id":"","url":"https://api.github.com/users/gridaphobe","html_url":"https://github.com/gridaphobe","followers_url":"https://api.github.com/users/gridaphobe/followers","following_url":"https://api.github.com/users/gridaphobe/following{/other_user}","gists_url":"https://api.github.com/users/gridaphobe/gists{/gist_id}","starred_url":"https://api.github.com/users/gridaphobe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gridaphobe/subscriptions","organizations_url":"https://api.github.com/users/gridaphobe/orgs","repos_url":"https://api.github.com/users/gridaphobe/repos","events_url":"https://api.github.com/users/gridaphobe/events{/privacy}","received_events_url":"https://api.github.com/users/gridaphobe/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-12-22T19:41:42Z","updated_at":"2015-12-22T19:41:42Z","closed_at":null,"body":"<a href=\"https://github.com/nikivazou\"><img src=\"https://avatars.githubusercontent.com/u/714933?v=3\" align=\"left\" width=\"96\" height=\"96\" hspace=\"10\"></img></a> **Issue by [nikivazou](https://github.com/nikivazou)**\n_Friday Mar 29, 2013 at 20:20 GMT_\n_Originally opened as https://github.com/ucsd-progsys/liquid-fixpoint-ocaml/pull/4_\n\n----\n\nhelping functions for liquidhaskell pull request\n\n----\n\n_**[nikivazou](https://github.com/nikivazou)** included the following code: https://github.com/ucsd-progsys/liquid-fixpoint-ocaml/pull/4/commits_\n"}}