From 6906b72ae2c64971056a409aa132a394eef64860 Mon Sep 17 00:00:00 2001 From: Jim Date: Sun, 1 Feb 2015 13:17:42 -0500 Subject: [PATCH] refine week1 advanced --- topics/week1_advanced_notes.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.` φ`;` -- 2.11.0