2 Nov
2012
2 Nov
'12
3:59 a.m.
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