Add inductive data types example

1 files changed, 7 insertions, 0 deletions

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