1 files changed, 11 insertions, 0 deletions
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))