diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-02 16:32:26 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-02 16:37:31 +0100 |
| commit | 94d481c940fb36da896e2e80a62f39d849477f53 (patch) | |
| tree | 1df183249ec0cffe9c02f6a145dbb11bfef05a91 /examples/04-list/output/java/src | |
| parent | 6fe5f16e1b261dcc34f83ca9c6d6049d3591976b (diff) | |
Add inductive data types example
Diffstat (limited to 'examples/04-list/output/java/src')
| -rw-r--r-- | examples/04-list/output/java/src/main/java/org/zwobble/example/Main.java | 19 |
1 files changed, 0 insertions, 19 deletions
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(); - } -} |
