[Haskell-cafe] ANNOUNCE: rewriting-0.1

Greg Meredith lgreg.meredith at biosimilarity.com
Sat Nov 8 17:31:11 EST 2008


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081108/5fb14b97/attachment.htm


More information about the Haskell-Cafe mailing list