j
k
j a
j l
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 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
Attachments:
Back to the thread
Back to the list
