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

David Sankel

29 Dec 2010 29 Dec '10

4:42 a.m.

TIA, David -- David Sankel Sankel Software www.sankelsoftware.com

Attachments:

attachment.html (text/html — 170 bytes)

Reply

Sign in to reply online Use email software

Back to the thread

Back to the list