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/Example/Types.hs | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 src/Example/Types.hs

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

diff --git a/src/Example/Types.hs b/src/Example/Types.hs
deleted file mode 100644
index d63159b..0000000
--- a/src/Example/Types.hs
+++ /dev/null
@@ -1,11 +0,0 @@
-{-# 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