[Haskell-cafe] What's the motivation for η rules?

David Sankel camior at gmail.com
Wed Dec 29 00:12:20 CET 2010


TIA,

David

-- 
David Sankel
Sankel Software
www.sankelsoftware.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20101228/fa9fab97/attachment.htm>


More information about the Haskell-Cafe mailing list