Haha. Thought so. I&#39;ll write down some of my crazy and eventually send it to you, off list.<div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Nov 1, 2012 at 2:59 PM, José Pedro Magalhães <span dir="ltr">&lt;<a href="mailto:jpm@cs.uu.nl" target="_blank">jpm@cs.uu.nl</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><div class="gmail_extra"><br><br><div class="gmail_quote"><div class="im">On Thu, Nov 1, 2012 at 7:44 PM, Nicolas Frisby <span dir="ltr">&lt;<a href="mailto:nicolas.frisby@gmail.com" target="_blank">nicolas.frisby@gmail.com</a>&gt;</span> wrote:<br>



<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I brainstormed a bit about adding meta-operators to guarded-rewriting last night.<div><br></div><div>Are any of the package&#39;s authors/maintainers interested in discussing these ideas further?</div>



</blockquote></div><div><br>I am :-)<span class="HOEnZb"><font color="#888888"><br><br><br>Pedro<br><br></font></span></div></div><br></div>
</blockquote></div><br></div>