From bb84f6930702a02ba982795e2bb95a64d61f672b Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 14 Nov 2024 19:27:06 +0100
Subject: Benchmark GMM

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

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

diff --git a/src/Example/Types.hs b/src/Example/Types.hs
new file mode 100644
index 0000000..d63159b
--- /dev/null
+++ b/src/Example/Types.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE DataKinds #-}
+module Example.Types where
+
+import AST
+import 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