diff options
Diffstat (limited to 'rust/sample/test03')
| -rw-r--r-- | rust/sample/test03/input | 2 | ||||
| -rw-r--r-- | rust/sample/test03/output | 2 |
2 files changed, 2 insertions, 2 deletions
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 |