mirror of
https://github.com/sdiehl/write-you-a-haskell.git
synced 2024-09-11 11:46:57 +03:00
Merge pull request #61 from yanok/patch-1
Fix typo in substitution definition
This commit is contained in:
commit
0b3825e7ee
@ -230,7 +230,7 @@ $$
|
||||
& [x/a] y &=& \ y & \text{if}\ x\neq y\\
|
||||
& [x/a]ee' &=& \ ([x/a]e)([x/a]e')\\
|
||||
& [x/a]\lambda x.e &=& \ \lambda x.e\\
|
||||
& [x/a]\lambda y.e &=& \ \lambda y.[x/a]e & \text{if}\ x \neq y\ \text{and}\ y \notin\FV{e}
|
||||
& [x/a]\lambda y.e &=& \ \lambda y.[x/a]e & \text{if}\ x \neq y\ \text{and}\ y \notin\FV{a}
|
||||
\end{aligned}
|
||||
$$
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user