X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek3_what_is_computation.mdwn;h=48d231dd4d222048b5d810500ad66de0d4526417;hp=b5c9d5ba265aa1113fda8c398d5dc5a270822272;hb=feed9f614fd5e90dc05320b7ae242877665ae4ff;hpb=78cfc3595320d328af3892701b8ba7973a1538e3 diff --git a/topics/week3_what_is_computation.mdwn b/topics/week3_what_is_computation.mdwn index b5c9d5ba..48d231dd 100644 --- a/topics/week3_what_is_computation.mdwn +++ b/topics/week3_what_is_computation.mdwn @@ -135,7 +135,7 @@ pathological examples where the results do not align so well: (\x. x x) (\x. x x) ~~> (\x. x x) (\x. x x) ~~> (\x. x x) (\x. x x) ~~> ... In this example, reduction returns the exact same lambda term. There -is no simplification at all. (As we mentioned in class, the term `(\x. x x)` is often referred to in these discussions as (little) ω, or sometimes **M**; and its self-application `ω ω`, displayed above, is called (big) Ω.) +is no simplification at all. (As we mentioned in class, the term `(\x. x x)` is often referred to in these discussions as (little) ω or "omega", or sometimes **M**; and its self-application `ω ω`, displayed above, is called (big) Ω or "Omega".) Even worse, consider this term: