Commit 73f392cea99a5f212830a49113c566f5cbd3c86f - Lanthorn

Fix syntax error in test case (but the problem is much deeper). Chris Pressey 3 years ago

2 changed file(s) with 6 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all

-1

README.md less more

322	322
323	323	letrec
324	324	oddsump = fun(x,y,z) -> if eq(add(x, add(y, z)), add(y, z)) then false else evensump(sub(x, 1), add(y, z))
325		evensump = fun(p,q) -> if eq(add(x, q), q) then true else oddsump(sub(x, 1), 1, sub(q, 1))
	325	evensump = fun(p,q) -> if eq(add(p, q), q) then true else oddsump(sub(p, 1), 1, sub(q, 1))
326	326	in
327	327	oddsump(5,3,1)
328	328	===> true

-0

eg/different-arities.lanthorn less more

	0	letrec
	1	oddsump = fun(x,y,z) -> if eq(add(x, add(y, z)), add(y, z)) then false else evensump(sub(x, 1), add(y, z))
	2	evensump = fun(p,q) -> if eq(add(p, q), q) then true else oddsump(sub(p, 1), 1, sub(q, 1))
	3	in
	4	oddsump(5,3,1)