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 +- rust/sample/test03/output | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'rust/sample') 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) diff --git a/rust/sample/test03/output b/rust/sample/test03/output index 578d298..fd56297 100644 --- a/rust/sample/test03/output +++ b/rust/sample/test03/output @@ -6,4 +6,4 @@ true true true true -five +four -- cgit v1.2.3