From 94d481c940fb36da896e2e80a62f39d849477f53 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 2 Jul 2026 16:32:26 +0100
Subject: Add inductive data types example

---
 examples/08-imports/src/line.hob | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 examples/08-imports/src/line.hob

(limited to 'examples/08-imports/src/line.hob')

diff --git a/examples/08-imports/src/line.hob b/examples/08-imports/src/line.hob
deleted file mode 100644
index 562d77f..0000000
--- a/examples/08-imports/src/line.hob
+++ /dev/null
@@ -1,7 +0,0 @@
-import {Point} from ./point;
-
-/// A straight line from one point to another.
-struct Line {
-    field start: Point;
-    field end: Point;
-}
-- 
cgit v1.2.3