28 May
2006
28 May
'06
5:50 p.m.
[moved to cafe] Robert Dockins wrote:
On Sunday 28 May 2006 05:02 pm, Brian Hulley wrote:
I see my error was that I was reversing the args in eta expansion, so the correct derivation is:
FYI, eta-expansions isn't valid in Haskell. Its safe in this derivation, but it isn't always.
Am I right in thinking that this is because of _|_ ? In any case I suppose I should have instead just replaced the function with it's definition like you (view Lambda Shell) and Christophe did. Also, is your Lambda Shell publicly available? (I had a quick look on the wiki in the Theorem provers section but couldn't find a link.) Thanks, Brian.