Conversation

β reduces you

2
2
10
@lizzie (doesn't have a beta normal form)
1
0
2

@lizzie joke's on you, you picked the subexpression that recurses indefinitely when you do it. you're trapped in here with me now.

0
0
1