<div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Hi James,<br></div><div>(I'm just about to go to sleep, so I'll answer the other messages tomorrow.)<br></div><div><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Should we keep some kind of document to keep track of all the different 
proposals? I’m thinking an editable document like HackMD where we can 
label all the different ideas to keep them straight in our head.<br></blockquote><br></div>I thought github issues would be a suitable place for that: <a href="https://github.com/Parquery/icontract/issues">https://github.com/Parquery/icontract/issues</a><br><br></div><div>It reads a bit easier as a discussion rather than a single document -- if anybody else needs to follow. What do you think?<br></div></div></div><br><div class="gmail_quote"><div dir="ltr">On Sun, 30 Sep 2018 at 22:07, James Lu <<a href="mailto:jamtlu@gmail.com">jamtlu@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Marko,<br>
<br>
Going back to your proposal on repeating lambda P as a convention.<br>
<br>
I do find <br>
<br>
@snapshot(some_identifier=P -> P.self(P.arg1),<br>
some_identifier2=P -> P.arg1 + P.arg2)<br>
<br>
acceptable. <br>
<br>
Should we keep some kind of document to keep track of all the different proposals? I’m thinking an editable document like HackMD where we can label all the different ideas to keep them straight in our head.<br>
<br>
James Lu</blockquote></div>