{"action":"created","issue":{"url":"https://api.github.com/repos/phile314/agda-contracts/issues/3","labels_url":"https://api.github.com/repos/phile314/agda-contracts/issues/3/labels{/name}","comments_url":"https://api.github.com/repos/phile314/agda-contracts/issues/3/comments","events_url":"https://api.github.com/repos/phile314/agda-contracts/issues/3/events","html_url":"https://github.com/phile314/agda-contracts/issues/3","id":105562185,"number":3,"title":"Remove ast=>T-ty, just store terms in T for plain Agda types","user":{"login":"phile314","id":1640697,"avatar_url":"https://avatars.githubusercontent.com/u/1640697?v=3","gravatar_id":"","url":"https://api.github.com/users/phile314","html_url":"https://github.com/phile314","followers_url":"https://api.github.com/users/phile314/followers","following_url":"https://api.github.com/users/phile314/following{/other_user}","gists_url":"https://api.github.com/users/phile314/gists{/gist_id}","starred_url":"https://api.github.com/users/phile314/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/phile314/subscriptions","organizations_url":"https://api.github.com/users/phile314/orgs","repos_url":"https://api.github.com/users/phile314/repos","events_url":"https://api.github.com/users/phile314/events{/privacy}","received_events_url":"https://api.github.com/users/phile314/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":{"login":"phile314","id":1640697,"avatar_url":"https://avatars.githubusercontent.com/u/1640697?v=3","gravatar_id":"","url":"https://api.github.com/users/phile314","html_url":"https://github.com/phile314","followers_url":"https://api.github.com/users/phile314/followers","following_url":"https://api.github.com/users/phile314/following{/other_user}","gists_url":"https://api.github.com/users/phile314/gists{/gist_id}","starred_url":"https://api.github.com/users/phile314/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/phile314/subscriptions","organizations_url":"https://api.github.com/users/phile314/orgs","repos_url":"https://api.github.com/users/phile314/repos","events_url":"https://api.github.com/users/phile314/events{/privacy}","received_events_url":"https://api.github.com/users/phile314/received_events","type":"User","site_admin":false},"milestone":null,"comments":1,"created_at":"2015-09-09T09:46:12Z","updated_at":"2015-10-12T11:55:49Z","closed_at":"2015-10-12T11:55:49Z","body":""},"comment":{"url":"https://api.github.com/repos/phile314/agda-contracts/issues/comments/147374940","html_url":"https://github.com/phile314/agda-contracts/issues/3#issuecomment-147374940","issue_url":"https://api.github.com/repos/phile314/agda-contracts/issues/3","id":147374940,"user":{"login":"phile314","id":1640697,"avatar_url":"https://avatars.githubusercontent.com/u/1640697?v=3","gravatar_id":"","url":"https://api.github.com/users/phile314","html_url":"https://github.com/phile314","followers_url":"https://api.github.com/users/phile314/followers","following_url":"https://api.github.com/users/phile314/following{/other_user}","gists_url":"https://api.github.com/users/phile314/gists{/gist_id}","starred_url":"https://api.github.com/users/phile314/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/phile314/subscriptions","organizations_url":"https://api.github.com/users/phile314/orgs","repos_url":"https://api.github.com/users/phile314/repos","events_url":"https://api.github.com/users/phile314/events{/privacy}","received_events_url":"https://api.github.com/users/phile314/received_events","type":"User","site_admin":false},"created_at":"2015-10-12T11:55:49Z","updated_at":"2015-10-12T11:55:49Z","body":"Done."}}