{"action":"created","issue":{"url":"https://api.github.com/repos/AmpersandTarski/ampersand/issues/73","labels_url":"https://api.github.com/repos/AmpersandTarski/ampersand/issues/73/labels{/name}","comments_url":"https://api.github.com/repos/AmpersandTarski/ampersand/issues/73/comments","events_url":"https://api.github.com/repos/AmpersandTarski/ampersand/issues/73/events","html_url":"https://github.com/AmpersandTarski/ampersand/issues/73","id":69292215,"number":73,"title":"Discussion about Atoms.adl","user":{"login":"hanjoosten","id":1159672,"avatar_url":"https://avatars.githubusercontent.com/u/1159672?v=3","gravatar_id":"","url":"https://api.github.com/users/hanjoosten","html_url":"https://github.com/hanjoosten","followers_url":"https://api.github.com/users/hanjoosten/followers","following_url":"https://api.github.com/users/hanjoosten/following{/other_user}","gists_url":"https://api.github.com/users/hanjoosten/gists{/gist_id}","starred_url":"https://api.github.com/users/hanjoosten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hanjoosten/subscriptions","organizations_url":"https://api.github.com/users/hanjoosten/orgs","repos_url":"https://api.github.com/users/hanjoosten/repos","events_url":"https://api.github.com/users/hanjoosten/events{/privacy}","received_events_url":"https://api.github.com/users/hanjoosten/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/AmpersandTarski/ampersand/labels/Ampersand%20in%20Ampersand","name":"Ampersand in Ampersand","color":"006b75"},{"url":"https://api.github.com/repos/AmpersandTarski/ampersand/labels/Discussion","name":"Discussion","color":"f7c6c7"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2015-04-18T09:44:26Z","updated_at":"2015-05-20T08:36:37Z","closed_at":null,"body":"In the recent version of Atoms.adl, there are some things that need attention. @stefjoosten, please elaborate on each of the following remarks:\r\n\r\n1. The derived relation `type` is TOT. This cannot be derived, because l and r are not SUR\r\n1. How can a Pair exist without knowing in what relation it is? Could you give an example of the usefullness of it? Does this have anything to do with storing of deriving pairs?\r\n1. Since Pair is in the *core* part of the pattern, it seems to suggest that all instances of pair must be persistent. That seems obvious for pairs in declared relations. However, pairs in non-primitive expressions, will likely be calculated. \r\n"},"comment":{"url":"https://api.github.com/repos/AmpersandTarski/ampersand/issues/comments/103808580","html_url":"https://github.com/AmpersandTarski/ampersand/issues/73#issuecomment-103808580","issue_url":"https://api.github.com/repos/AmpersandTarski/ampersand/issues/73","id":103808580,"user":{"login":"stefjoosten","id":275768,"avatar_url":"https://avatars.githubusercontent.com/u/275768?v=3","gravatar_id":"","url":"https://api.github.com/users/stefjoosten","html_url":"https://github.com/stefjoosten","followers_url":"https://api.github.com/users/stefjoosten/followers","following_url":"https://api.github.com/users/stefjoosten/following{/other_user}","gists_url":"https://api.github.com/users/stefjoosten/gists{/gist_id}","starred_url":"https://api.github.com/users/stefjoosten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stefjoosten/subscriptions","organizations_url":"https://api.github.com/users/stefjoosten/orgs","repos_url":"https://api.github.com/users/stefjoosten/repos","events_url":"https://api.github.com/users/stefjoosten/events{/privacy}","received_events_url":"https://api.github.com/users/stefjoosten/received_events","type":"User","site_admin":false},"created_at":"2015-05-20T08:36:37Z","updated_at":"2015-05-20T08:36:37Z","body":"Han, please do a review on Atoms.adl\r\n\r\nRieks, feel free to experiment with Atoms.adl, because I have included some exec-engine stuff in it."}}