1 Nov
2012
1 Nov
'12
9:57 p.m.
Haha. Thought so. I'll write down some of my crazy and eventually send it to you, off list. On Thu, Nov 1, 2012 at 2:59 PM, José Pedro Magalhães <jpm@cs.uu.nl> wrote:
On Thu, Nov 1, 2012 at 7:44 PM, Nicolas Frisby <nicolas.frisby@gmail.com>wrote:
I brainstormed a bit about adding meta-operators to guarded-rewriting last night.
Are any of the package's authors/maintainers interested in discussing these ideas further?
I am :-)
Pedro