bound-extras-0.0.2: examples/stlc-2-app-delta.txt

app-delta : D
app-delta = ((the (-> C D) (case+ aorb x (ac2d x) y (bc2d y))) c)
app-delta = (case+ aorb x (ac2d x c) y (bc2d y c))