summaryrefslogtreecommitdiff
path: root/java/App.java
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.bailly@iohk.io>2024-10-12 10:07:07 +0200
committerArnaud Bailly <arnaud.bailly@iohk.io>2024-10-12 10:07:07 +0200
commit0ab73e47af2bba3fb2ff6a4bf08ada4a3309bf3e (patch)
tree05e2b9ebd60e5c8175f086e1de73657032d9c2fc /java/App.java
parent3363ab2da764825558c859f4419ff99528ed2274 (diff)
downloadlambda-nantes-0ab73e47af2bba3fb2ff6a4bf08ada4a3309bf3e.tar.gz
Add java evaluator
Diffstat (limited to 'java/App.java')
-rw-r--r--java/App.java22
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