bound-extras-0.0.2: examples/stlc-2-arr-beta.txt

arr-beta : B
arr-beta = ((the (-> A B) (fn x (f x))) a)
arr-beta = (f a)