From 63c0c643bb8f60d7cf481b89c3102678c808d2a1 Mon Sep 17 00:00:00 2001 From: Cédric Date: Sun, 13 Oct 2024 16:00:03 +0200 Subject: Delete duplicated files in java implementation --- java/Abs.java | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 java/Abs.java (limited to 'java/Abs.java') 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 -- cgit v1.2.3