From 94d481c940fb36da896e2e80a62f39d849477f53 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Thu, 2 Jul 2026 16:32:26 +0100 Subject: Add inductive data types example --- .../java/src/main/java/org/zwobble/example/Main.java | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 examples/04-list/output/java/src/main/java/org/zwobble/example/Main.java (limited to 'examples/04-list/output/java/src') diff --git a/examples/04-list/output/java/src/main/java/org/zwobble/example/Main.java b/examples/04-list/output/java/src/main/java/org/zwobble/example/Main.java deleted file mode 100644 index 4cfb23f..0000000 --- a/examples/04-list/output/java/src/main/java/org/zwobble/example/Main.java +++ /dev/null @@ -1,19 +0,0 @@ -package org.zwobble.example; - -import java.util.List; -import org.zwobble.example.types.point.Path; -import org.zwobble.example.types.point.Point; - -public class Main { - public static void main() { - Path path = new Path(List.of( - new Point(10, 25), - new Point(25, 10) - )); - - Path path2 = Path.arbitrary() - .addPoint(new Point(10, 25)) - .addPoint(new Point(25, 10)) - .build(); - } -} -- cgit v1.2.3