From 85e57325dc3f77223ea9c469068cfce597a9e411 Mon Sep 17 00:00:00 2001
From: Felix Dilke <felix.dilke@obsidian.systems>
Date: Fri, 30 Jan 2026 14:53:27 +0000
Subject: [PATCH] sorted imports

---
 haskell-experiments/src/Datalog/NaiveDatabase.hs | 1 -
 haskell-experiments/src/Datalog/Rules.hs         | 5 -----
 2 files changed, 6 deletions(-)

diff --git a/haskell-experiments/src/Datalog/NaiveDatabase.hs b/haskell-experiments/src/Datalog/NaiveDatabase.hs
index 8dacb94..4d250df 100644
--- a/haskell-experiments/src/Datalog/NaiveDatabase.hs
+++ b/haskell-experiments/src/Datalog/NaiveDatabase.hs
@@ -78,7 +78,6 @@ withFacts =
       Right otherStatement -> throw $ NonFactException factText otherStatement
       Left ex -> throw $ CannotParseStatementException factText ex
 
-
 withFactsAndRules :: [Text] -> [Text] -> NaiveDatabase
 withFactsAndRules facts = foldr (addRule . extractRule) (withFacts facts)
 
diff --git a/haskell-experiments/src/Datalog/Rules.hs b/haskell-experiments/src/Datalog/Rules.hs
index a14eda3..c8651bd 100644
--- a/haskell-experiments/src/Datalog/Rules.hs
+++ b/haskell-experiments/src/Datalog/Rules.hs
@@ -8,15 +8,10 @@ module Datalog.Rules where
 
 import Control.Exception.Base
 import Data.List
-import Data.Map (Map)
-import Data.Map qualified as Map
 import Data.Maybe
-import Data.Set (Set)
 import Data.Set qualified as Set
 import Data.Text (Text)
-import Data.Void
 import Datalog.DatalogParser (Head (HeadSingle), Literal (..), Statement (..), Term (..), parseDatalog)
-import Text.Megaparsec (ParseErrorBundle)
 import Datalog.DatalogDB
 
 data BodyConstraint = BodyConstraint