summaryrefslogtreecommitdiff
path: root/java/Abs.java
diff options
context:
space:
mode:
authorCédric <cedric.pineau@taelys.com>2024-10-13 16:00:03 +0200
committerCédric <cedric.pineau@taelys.com>2024-10-16 21:42:15 +0200
commit63c0c643bb8f60d7cf481b89c3102678c808d2a1 (patch)
tree6d26dd2fef5b030578b0d2836b40696448ddd813 /java/Abs.java
parentd41911f506abf3c6338c511147adacc64583eeb1 (diff)
downloadlambda-nantes-63c0c643bb8f60d7cf481b89c3102678c808d2a1.tar.gz
Delete duplicated files in java implementation
Diffstat (limited to 'java/Abs.java')
-rw-r--r--java/Abs.java26
1 files changed, 0 insertions, 26 deletions
diff --git a/java/Abs.java b/java/Abs.java
deleted file mode 100644
index 9d1c146..0000000
--- a/java/Abs.java
+++ /dev/null
@@ -1,26 +0,0 @@
-package org.lambdanantes.lcgoji.ast;
-
-import lombok.AccessLevel;
-import lombok.AllArgsConstructor;
-import lombok.EqualsAndHashCode;
-
-import static org.lambdanantes.lcgoji.ast.Var.var;
-
-@AllArgsConstructor(access = AccessLevel.PROTECTED)
-@EqualsAndHashCode
-public final class Abs implements Term {
-
- public static final Abs IDENTITY = λ("x", var("x"));
-
- public String arg;
- public Term body;
-
- public static Abs λ(String arg, Term body) {
- return new Abs(arg, body);
- }
-
- @Override
- public String toString() {
- return "λ" + arg + "." + body;
- }
-} \ No newline at end of file