/tests/examples/

• ../
• beta.lam
• beta.out
• beta1.lam
• beta1.out
• beta2.lam
• beta2.out
• beta3.lam
• beta3.out
• bools-and-t-f.lam
• bools-and-t-f.out
• bools-not-t.lam
• bools-not-t.out
• bools-or-f-t.lam
• bools-or-f-t.out
• currying.lam
• currying.out
• fac-three.lam
• fac-three.out
• head-normal-form.lam
• head-normal-form.out
• normal-form.lam
• normal-form.out
• nums-env.lam
• nums-env.out
• nums-isZero-one.lam
• nums-isZero-one.out
• nums-isZero-two.lam
• nums-isZero-two.out
• nums-isZero-zero.lam
• nums-isZero-zero.out
• nums-minus-one-two.lam
• nums-minus-one-two.out
• nums-minus-three-two.lam
• nums-minus-three-two.out
• nums-mult-two-three.lam
• nums-mult-two-three.out
• nums-plus-three-two.lam
• nums-plus-three-two.out
• nums-pred-four.lam
• nums-pred-four.out
• nums-pred-one.lam
• nums-pred-one.out
• nums-pred-two.lam
• nums-pred-two.out
• nums-pred-zero.lam
• nums-pred-zero.out
• nums-succ-two.lam
• nums-succ-two.out
• nums-succ-zero.lam
• nums-succ-zero.out
• omega-arg.lam
• omega-arg.out
• omega.lam
• omega.out
• pairs-fst-snd.lam
• pairs-fst-snd.out
• pairs-fst.lam
• pairs-fst.out
• pairs-snd.lam
• pairs-snd.out
• weak-head-normal-form.lam
• weak-head-normal-form.out
• weak-normal-form.lam
• weak-normal-form.out
• y.lam
• y.out