[Haskell-cafe] ANNOUNCE: rewriting-0.1

Thomas van Noort thomas at cs.ru.nl
Thu Nov 13 05:39:17 EST 2008


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




More information about the Haskell-Cafe mailing list