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

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