diff options
Diffstat (limited to 'doc/constant.md')
| -rw-r--r-- | doc/constant.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/constant.md b/doc/constant.md index 73413a03..55c95f82 100644 --- a/doc/constant.md +++ b/doc/constant.md @@ -23,6 +23,6 @@ When programming with [first-class functions](functional.md), the constant appli M β - m {π¨βΎ(2βΈβ) π©} 1βΏ2βΏ3βΏ4 -Here `m` is applied to `2βπ©` even though we want to discard that value. Spelled as `m`, our [context-free grammar](context.md) knows it's a function argument, but this [doesn't affect](../problems.md#syntactic-type-erasure) later usage. Under always applies `π½` as a function. The proper definition of the insertion function should use a `Λ`, like this: +Here `m` is applied to `2βπ©` even though we want to discard that value. Spelled as `m`, our [context-free grammar](context.md) knows it's a function argument, but this [doesn't affect](../problems.md#syntactic-type-erasure) later usage. [Under](under.md) always applies `π½` as a function. The proper definition of the insertion function should use a `Λ`, like this: m {π¨ΛβΎ(2βΈβ) π©} 1βΏ2βΏ3βΏ4 |