On 26 April 2013 17:58, Mark Miller <erights@gmail.com> wrote: > > I posed my challenge problem primarily as a response to Andreas' position. > Andreas, please rewrite the *very small* example in the linked-to paper > (Also at > <https://code.google.com/p/es-lab/source/browse/trunk/src/ses/contract/>) in > terms of the uniform non-flattening semantics you desire. Hi Mark, sorry for not having followed up on that, but for one, too much of my bandwidth was eaten up by the modules thread for a sufficiently detailed reply, and secondly, I felt that Tab was already doing a terrific job of answering it (and generally unraveling most of the misunderstandings in this thread). Also, it already was weekend over here. :) So what Tab said, in reply to your challenge and elsewhere. /AndreasReceived on Monday, 29 April 2013 14:26:25 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:13 UTC