aboutsummaryrefslogtreecommitdiff
path: root/src/CHAD/Example/GMM.hs
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2025-11-22 22:40:40 +0100
committerTom Smeding <tom@tomsmeding.com>2025-11-22 22:40:40 +0100
commitb4f07c673b7c710f5861bb84e67233c63336c53d (patch)
tree234b0a4708fc899f8cfe529a3d897942c5964171 /src/CHAD/Example/GMM.hs
parentd70848e2b6dbba365216700dbd37de40684918a5 (diff)
Add a simplify ruleHEADmaster
Diffstat (limited to 'src/CHAD/Example/GMM.hs')
-rw-r--r--src/CHAD/Example/GMM.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CHAD/Example/GMM.hs b/src/CHAD/Example/GMM.hs
index 8f834e0..18641e8 100644
--- a/src/CHAD/Example/GMM.hs
+++ b/src/CHAD/Example/GMM.hs
@@ -3,7 +3,7 @@
{-# LANGUAGE TypeApplications #-}
module CHAD.Example.GMM where
-import CHAD.Data (SList(..), SNat(..))
+import CHAD.Data (SList(..))
import CHAD.Example.Types
import CHAD.Language