From cd3c54945d8bff57b121a2f834d165314e0f0738 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Tue, 1 Oct 2024 20:10:02 +0200 Subject: Rename eval() to be more specific --- rust/sample/test03/input | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'rust/sample/test03/input') diff --git a/rust/sample/test03/input b/rust/sample/test03/input index a23f8c6..6cff466 100644 --- a/rust/sample/test03/input +++ b/rust/sample/test03/input @@ -7,6 +7,6 @@ (def four (succ three)) (def five (succ four)) -(def plus (lam (a b) (a succ b))) +(def plus (lam (a b f s) (a f (b f s)))) (plus one three) -- cgit v1.2.3