summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
7a4c704)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
-Find "normal forms" for the following---that is, reduce them until no more reductions are possible. We'll write λ`x` as `\x`.
+Find "normal forms" for the following---that is, reduce them until no more reductions are possible. We'll write <code>λx</code> as `\x`.
1. `(\x \y. y x) z`
2. `(\x (x x)) z`
1. `(\x \y. y x) z`
2. `(\x (x x)) z`