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

David Sankel

28 Dec 2010 28 Dec '10

11:12 p.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