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