I'd welcome advice on lambda calculus.
---
Given context:
Γ ≡ β : ∗, x : Πα : ∗. α
I need to find 3 examples of terms that inhabit β→β
... that aren't β-convertible to each other, and are in β-normal form.
---
my example 1:
λz:β .z
my example 2:
λβ .xβ
for a 3rd example.. I'm playing with ideas like
x(β→β)
since (β→β) is of type * using the formation rule, but not sure..
---