From 174af2ba568de66e0d890825b8bda930b8e7bb96 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 10 Nov 2025 21:49:45 +0100
Subject: Move module hierarchy under CHAD.

---
 src/CHAD/Example/Types.hs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 src/CHAD/Example/Types.hs

(limited to 'src/CHAD/Example/Types.hs')

diff --git a/src/CHAD/Example/Types.hs b/src/CHAD/Example/Types.hs
new file mode 100644
index 0000000..1e2f72d
--- /dev/null
+++ b/src/CHAD/Example/Types.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE DataKinds #-}
+module CHAD.Example.Types where
+
+import CHAD.AST
+import CHAD.Data
+
+
+type R = TScal TF64
+type I64 = TScal TI64
+type TVec = TArr (S Z)
+type TMat = TArr (S (S Z))
-- 
cgit v1.2.3-70-g09d2