diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-12 10:07:07 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-12 10:07:07 +0200 |
| commit | 0ab73e47af2bba3fb2ff6a4bf08ada4a3309bf3e (patch) | |
| tree | 05e2b9ebd60e5c8175f086e1de73657032d9c2fc /java/App.java | |
| parent | 3363ab2da764825558c859f4419ff99528ed2274 (diff) | |
| download | lambda-nantes-0ab73e47af2bba3fb2ff6a4bf08ada4a3309bf3e.tar.gz | |
Add java evaluator
Diffstat (limited to 'java/App.java')
| -rw-r--r-- | java/App.java | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/java/App.java b/java/App.java new file mode 100644 index 0000000..2f3e04d --- /dev/null +++ b/java/App.java @@ -0,0 +1,22 @@ +package org.lambdanantes.lcgoji.ast; + +import lombok.AccessLevel; +import lombok.AllArgsConstructor; +import lombok.EqualsAndHashCode; + +@AllArgsConstructor(access = AccessLevel.PROTECTED) +@EqualsAndHashCode +public final class App implements Term { + + public Term left; + public Term right; + + public static App apply(Term left, Term right) { + return new App(left, right); + } + + @Override + public String toString() { + return "(" + left + ") " + right; + } +}
\ No newline at end of file |
