bound-extras-0.0.2: examples/stlc-3-pair-beta.txt

pair-beta : A
pair-beta = (fst (the (prod A B) (pair a b)))
pair-beta = (the A a)