On 7/10/2014 11:53 AM, Timon Gehr wrote:
Are you talking about the concept, the examples, or just the last example? What makes it seem complicated?
I can't imagine users going to the bother of typing all that, let alone what happens when they do it wrong. Most users don't really have a good handle on what the lifetimes of their data are, so how are they going to annotate it correctly?
