From d5cba23aa951e51ec1f54058e9501b145f489fb2 Mon Sep 17 00:00:00 2001 From: jim Date: Sat, 14 Feb 2015 17:54:41 -0500 Subject: [PATCH] tweak omega names --- topics/week3_what_is_computation.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: -- 2.11.0