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
