examples « tests - coms6998.git - lambda calculus interpreter

Mode	Name	Size
-rw-r--r--	beta.lam	79	log plain
-rw-r--r--	beta.out	48	log plain
-rw-r--r--	beta1.lam	69	log plain
-rw-r--r--	beta1.out	31	log plain
-rw-r--r--	beta2.lam	47	log plain
-rw-r--r--	beta2.out	22	log plain
-rw-r--r--	beta3.lam	70	log plain
-rw-r--r--	beta3.out	18	log plain
-rw-r--r--	bools-and-t-f.lam	208	log plain
-rw-r--r--	bools-and-t-f.out	141	log plain
-rw-r--r--	bools-not-t.lam	202	log plain
-rw-r--r--	bools-not-t.out	135	log plain
-rw-r--r--	bools-or-f-t.lam	206	log plain
-rw-r--r--	bools-or-f-t.out	140	log plain
-rw-r--r--	currying.lam	79	log plain
-rw-r--r--	currying.out	38	log plain
-rw-r--r--	fac-three.lam	642	log plain
-rw-r--r--	fac-three.out	536	log plain
-rw-r--r--	head-normal-form.lam	147	log plain
-rw-r--r--	head-normal-form.out	26	log plain
-rw-r--r--	normal-form.lam	145	log plain
-rw-r--r--	normal-form.out	24	log plain
-rw-r--r--	nums-env.lam	467	log plain
-rw-r--r--	nums-env.out	444	log plain
-rw-r--r--	nums-isZero-one.lam	498	log plain
-rw-r--r--	nums-isZero-one.out	427	log plain
-rw-r--r--	nums-isZero-two.lam	498	log plain
-rw-r--r--	nums-isZero-two.out	427	log plain
-rw-r--r--	nums-isZero-zero.lam	498	log plain
-rw-r--r--	nums-isZero-zero.out	428	log plain
-rw-r--r--	nums-minus-one-two.lam	500	log plain
-rw-r--r--	nums-minus-one-two.out	430	log plain
-rw-r--r--	nums-minus-three-two.lam	503	log plain
-rw-r--r--	nums-minus-three-two.out	432	log plain
-rw-r--r--	nums-mult-two-three.lam	522	log plain
-rw-r--r--	nums-mult-two-three.out	431	log plain
-rw-r--r--	nums-plus-three-two.lam	521	log plain
-rw-r--r--	nums-plus-three-two.out	431	log plain
-rw-r--r--	nums-pred-four.lam	507	log plain
-rw-r--r--	nums-pred-four.out	426	log plain
-rw-r--r--	nums-pred-one.lam	495	log plain
-rw-r--r--	nums-pred-one.out	425	log plain
-rw-r--r--	nums-pred-two.lam	497	log plain
-rw-r--r--	nums-pred-two.out	425	log plain
-rw-r--r--	nums-pred-zero.lam	496	log plain
-rw-r--r--	nums-pred-zero.out	426	log plain
-rw-r--r--	nums-succ-two.lam	506	log plain
-rw-r--r--	nums-succ-two.out	425	log plain
-rw-r--r--	nums-succ-zero.lam	499	log plain
-rw-r--r--	nums-succ-zero.out	426	log plain
-rw-r--r--	omega-arg.lam	35	log plain
-rw-r--r--	omega-arg.out	38	log plain
-rw-r--r--	omega.lam	143	log plain
-rw-r--r--	omega.out	22	log plain
-rw-r--r--	pairs-fst-snd.lam	178	log plain
-rw-r--r--	pairs-fst-snd.out	132	log plain
-rw-r--r--	pairs-fst.lam	154	log plain
-rw-r--r--	pairs-fst.out	108	log plain
-rw-r--r--	pairs-snd.lam	154	log plain
-rw-r--r--	pairs-snd.out	108	log plain
-rw-r--r--	weak-head-normal-form.lam	152	log plain
-rw-r--r--	weak-head-normal-form.out	31	log plain
-rw-r--r--	weak-normal-form.lam	148	log plain
-rw-r--r--	weak-normal-form.out	27	log plain
-rw-r--r--	y.lam	175	log plain
-rw-r--r--	y.out	35	log plain