X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=topics%2Fweek1_advanced_notes.mdwn;h=203a22fcf1adb0a8fbf6726f3926099966599003;hb=6906b72ae2c64971056a409aa132a394eef64860;hp=d843ee72790c1be59b1b59235ed2e7dca3ed44ff;hpb=7a8d016ba68d0c03c37ab5ce52e1b12b7c97c568;p=lambda.git diff --git a/topics/week1_advanced_notes.mdwn b/topics/week1_advanced_notes.mdwn index d843ee72..203a22fc 100644 --- a/topics/week1_advanced_notes.mdwn +++ b/topics/week1_advanced_notes.mdwn @@ -51,7 +51,7 @@ I agree it's annoying that these conventions are so diverse. There are plenty ot A function value doesn't have any structure---at least none that's visible to the pattern-matching system. You can only match against simple patterns like `_` or the variable `f`. -When matching a variable against a λ-generated function value in a `let`- or `letrec`-construction, there's an alternative syntax that you may find more convenient. This: +When matching a λ-generated function value against a variable in a `let`- or `letrec`-construction, there's an alternative syntax that you may find more convenient. This: `let`   `f match` λ`x.` φ`;`