diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-01 20:10:02 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-01 20:10:02 +0200 |
| commit | cd3c54945d8bff57b121a2f834d165314e0f0738 (patch) | |
| tree | b93f164a8128fc036d22789d34993aa590652c7c /rust/sample/test03 | |
| parent | 0c2119268bc54905bec2070676468f48b3002a89 (diff) | |
| download | lambda-nantes-cd3c54945d8bff57b121a2f834d165314e0f0738.tar.gz | |
Rename eval() to be more specific
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 |