{"action":"opened","issue":{"url":"https://api.github.com/repos/piyush-kurur/verse-coq/issues/71","repository_url":"https://api.github.com/repos/piyush-kurur/verse-coq","labels_url":"https://api.github.com/repos/piyush-kurur/verse-coq/issues/71/labels{/name}","comments_url":"https://api.github.com/repos/piyush-kurur/verse-coq/issues/71/comments","events_url":"https://api.github.com/repos/piyush-kurur/verse-coq/issues/71/events","html_url":"https://github.com/piyush-kurur/verse-coq/issues/71","id":343939262,"node_id":"MDU6SXNzdWUzNDM5MzkyNjI=","number":71,"title":"Docs, headerfiles, and all that","user":{"login":"piyush-kurur","id":693288,"node_id":"MDQ6VXNlcjY5MzI4OA==","avatar_url":"https://avatars1.githubusercontent.com/u/693288?v=4","gravatar_id":"","url":"https://api.github.com/users/piyush-kurur","html_url":"https://github.com/piyush-kurur","followers_url":"https://api.github.com/users/piyush-kurur/followers","following_url":"https://api.github.com/users/piyush-kurur/following{/other_user}","gists_url":"https://api.github.com/users/piyush-kurur/gists{/gist_id}","starred_url":"https://api.github.com/users/piyush-kurur/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/piyush-kurur/subscriptions","organizations_url":"https://api.github.com/users/piyush-kurur/orgs","repos_url":"https://api.github.com/users/piyush-kurur/repos","events_url":"https://api.github.com/users/piyush-kurur/events{/privacy}","received_events_url":"https://api.github.com/users/piyush-kurur/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-07-24T08:40:13Z","updated_at":"2018-07-24T08:40:13Z","closed_at":null,"author_association":"OWNER","body":"While we have mostly used verse to generate code, it would be good if the verse also generates some\r\nminimal documentation and header files for easy integration with outside projects. Here I collect some of\r\nthese information that can be useful.\r\n\r\n- [ ]  Doxygen or some other documentation\r\n- [ ]  Function prototypes\r\n- [ ]  Header files"}}
{"actor":{"display_login":"piyush-kurur"}}