X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=rosetta1.mdwn;h=70866b1252e7b1e1865356f1c6d6025fcde7496f;hp=1c42a1337c03686ed227e190918aa44a86ffa57b;hb=fce00a47baedac4f4b00119179c8e04e5dd708ac;hpb=26c8d6da76887c3756f2ce856b03f490945814c0 diff --git a/rosetta1.mdwn b/rosetta1.mdwn index 1c42a133..70866b12 100644 --- a/rosetta1.mdwn +++ b/rosetta1.mdwn @@ -215,7 +215,7 @@ Fourth, in Kapulet, `( - 10)` expresses λ `x. x - 10` (consistently with ( - 2) # ( - 2) 10 == 8 (0 - ) ( - ) (5, 3) - + and here are their translations into natural Haskell: @@ -779,7 +779,7 @@ Notice that this form ends with `end`, not with `in result`. The above is roughl pat1 match expr1; ... in ... # rest of program or library - + That is, the bindings initiated by the clauses of the `let` construction remain in effect until the end of the program or library. They can of course be "hidden" by subsequent bindings to new variables spelled the same way. The program: # Kapulet