adding meta-operators to guarded-rewriting
2 Nov
2012
2 Nov
'12
3:44 a.m.
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? If so — who would it be appropriate to chat with? Thanks.
5:57 a.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
5006
Age (days ago)
5006
Last active (days ago)
2 comments
2 participants
participants (2)
-
José Pedro Magalhães -
Nicolas Frisby