Re: [Haskell-cafe] ANNOUNCE: rewriting-0.1

2008-11-13 Thread Thomas van Noort 

Hi Greg,

We didn't look into nominal rewriting I'm afraid. And I'm not that
familiar with scrap-your-nameplate so I'm not sure if you can implement
nominal rewriting using that library.

Regards,
Thomas

Greg Meredith wrote:

Thomas,

Did you explore nominal rewrite at all? Do you know if it might be 
possible to use the scrap-your-nameplate package to implement some 
useful subset of the nominal rewrite machinery?


Best wishes,

--greg

--
L.G. Meredith
Managing Partner
Biosimilarity LLC
806 55th St NE
Seattle, WA 98105

+1 206.650.3740

http://biosimilarity.blogspot.com



___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

re: [Haskell-cafe] ANNOUNCE: rewriting-0.1

2008-11-08 Thread Greg Meredith 
Thomas,

Did you explore nominal rewrite at all? Do you know if it might be possible
to use the scrap-your-nameplate package to implement some useful subset of
the nominal rewrite machinery?

Best wishes,

--greg

-- 
L.G. Meredith
Managing Partner
Biosimilarity LLC
806 55th St NE
Seattle, WA 98105

+1 206.650.3740

http://biosimilarity.blogspot.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe