Re: [Hs-Generics] adding meta-operators to guarded-rewriting

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 wrote:

On Thu, Nov 1, 2012 at 7:44 PM, Nicolas Frisby 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