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

sum-beta : C
sum-beta = (the C (case+ (the (sum A B) (inl a)) x (a2c x) y (b2c y)))
sum-beta = (a2c a)