LAMBDA FUN

Evaluating: (((if true) Yep) Nope)
Eval: (((if true) Yep) Nope)
Beta: ((if true) Yep) Nope
Eval: ((if true) Yep)
Beta: (if true) Yep
Eval: (if true)
Beta: if true
Beta: \\\((2 1) 0) true
Alpha 0: true -> \\((2 1) 0)
Alpha 1: true -> \((2 1) 0)
Alpha 2: true -> ((2 1) 0)
Alpha 2: true -> 0
Alpha 2: true -> (2 1)
Alpha 2: true -> 1
Alpha 2: true -> 2
Eval: (\\((true 1) 0) Yep)
Beta: \\((true 1) 0) Yep
Alpha 0: Yep -> \((true 1) 0)
Alpha 1: Yep -> ((true 1) 0)
Alpha 1: Yep -> 0
Alpha 1: Yep -> (true 1)
Alpha 1: Yep -> 1
Alpha 1: Yep -> true
Alpha 1: Yep -> \\1
Alpha 2: Yep -> \1
Alpha 3: Yep -> 1
Eval: (\((\\1 Yep) 0) Nope)
Beta: \((\\1 Yep) 0) Nope
Alpha 0: Nope -> ((\\1 Yep) 0)
Alpha 0: Nope -> 0
Alpha 0: Nope -> (\\1 Yep)
Alpha 0: Nope -> Yep
Alpha 0: Nope -> \\1
Alpha 1: Nope -> \1
Alpha 2: Nope -> 1
Eval: ((\\1 Yep) Nope)
Beta: (\\1 Yep) Nope
Eval: (\\1 Yep)
Beta: \\1 Yep
Alpha 0: Yep -> \1
Alpha 1: Yep -> 1
Eval: (\Yep Nope)
Beta: \Yep Nope
Alpha 0: Nope -> Yep
Yep