{"action":"created","issue":{"url":"https://api.github.com/repos/Heather/Control.Eternal.Idris/issues/2","repository_url":"https://api.github.com/repos/Heather/Control.Eternal.Idris","labels_url":"https://api.github.com/repos/Heather/Control.Eternal.Idris/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/Heather/Control.Eternal.Idris/issues/2/comments","events_url":"https://api.github.com/repos/Heather/Control.Eternal.Idris/issues/2/events","html_url":"https://github.com/Heather/Control.Eternal.Idris/issues/2","id":395987423,"node_id":"MDU6SXNzdWUzOTU5ODc0MjM=","number":2,"title":"can things go in other places?","user":{"login":"shmish111","id":934267,"node_id":"MDQ6VXNlcjkzNDI2Nw==","avatar_url":"https://avatars2.githubusercontent.com/u/934267?v=4","gravatar_id":"","url":"https://api.github.com/users/shmish111","html_url":"https://github.com/shmish111","followers_url":"https://api.github.com/users/shmish111/followers","following_url":"https://api.github.com/users/shmish111/following{/other_user}","gists_url":"https://api.github.com/users/shmish111/gists{/gist_id}","starred_url":"https://api.github.com/users/shmish111/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shmish111/subscriptions","organizations_url":"https://api.github.com/users/shmish111/orgs","repos_url":"https://api.github.com/users/shmish111/repos","events_url":"https://api.github.com/users/shmish111/events{/privacy}","received_events_url":"https://api.github.com/users/shmish111/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2019-01-04T16:32:09Z","updated_at":"2019-01-04T17:09:54Z","closed_at":null,"author_association":"NONE","body":"I have been looking at things in https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules that are not working fully and can be cleaned up. Eternal doesn't seem to build with nix on mac, probably due to some of the C stuff. So I had a look at eternal to see if I could fix it and saw that it's basically a collection of utility functions so my question is, could these functions go in more suitable libraries or maybe even in Prelude? Also, what does `readProcess` do and what sort of library would it fit into? I think some functions may not be needed anymore, for example `<@>` is just `<$>` and `for` is just `traverse` I think."},"comment":{"url":"https://api.github.com/repos/Heather/Control.Eternal.Idris/issues/comments/451505837","html_url":"https://github.com/Heather/Control.Eternal.Idris/issues/2#issuecomment-451505837","issue_url":"https://api.github.com/repos/Heather/Control.Eternal.Idris/issues/2","id":451505837,"node_id":"MDEyOklzc3VlQ29tbWVudDQ1MTUwNTgzNw==","user":{"login":"shmish111","id":934267,"node_id":"MDQ6VXNlcjkzNDI2Nw==","avatar_url":"https://avatars2.githubusercontent.com/u/934267?v=4","gravatar_id":"","url":"https://api.github.com/users/shmish111","html_url":"https://github.com/shmish111","followers_url":"https://api.github.com/users/shmish111/followers","following_url":"https://api.github.com/users/shmish111/following{/other_user}","gists_url":"https://api.github.com/users/shmish111/gists{/gist_id}","starred_url":"https://api.github.com/users/shmish111/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shmish111/subscriptions","organizations_url":"https://api.github.com/users/shmish111/orgs","repos_url":"https://api.github.com/users/shmish111/repos","events_url":"https://api.github.com/users/shmish111/events{/privacy}","received_events_url":"https://api.github.com/users/shmish111/received_events","type":"User","site_admin":false},"created_at":"2019-01-04T17:09:54Z","updated_at":"2019-01-04T17:09:54Z","author_association":"NONE","body":"I think someone at some time probably searched github for any Idris projects and added them, possibly not very nice given the author becomes a maintainer without asking :-O\r\n\r\nAnyway, would you like me to get Eternal removed from nixpkgs and try to build and add idris-unicode?\r\n\r\nIf you ever find yourself using Eternal again could you see if you can find a maintained-ish library that whatever you need would fit into and raise a PR for that?"}}
{"actor":{"display_login":"shmish111"}}