diff --git a/semantic-scope-graph/src/Data/ScopeGraph.hs.old b/semantic-scope-graph/src/Data/ScopeGraph.hs.old
deleted file mode 100644
index d495a0937..000000000
--- a/semantic-scope-graph/src/Data/ScopeGraph.hs.old
+++ /dev/null
@@ -1,73 +0,0 @@
-{-# LANGUAGE DataKinds             #-}
-{-# LANGUAGE DuplicateRecordFields #-}
-{-# LANGUAGE FlexibleContexts      #-}
-{-# LANGUAGE LambdaCase            #-}
-{-# LANGUAGE TypeApplications      #-}
-{-# LANGUAGE TypeFamilies          #-}
-{-# LANGUAGE TypeOperators         #-}
-
-module Data.ScopeGraph
-  ( ScopeGraph(..)
-  , Info (..)
-  , module GC
-  , Addressable (..)
-  , simplify
-  ) where
-
-import qualified Algebra.Graph
-import           Algebra.Graph.Class as GC
-import           Data.Coerce (coerce)
-import           Data.Text (Text, unpack)
-import qualified System.Path as Path
-
-data Node a = Node
-  { contents :: a
-  } deriving (Eq, Ord)
-
-instance Show a => Show (Node a) where
-  show = show . contents
-
-
-newtype ScopeGraph a = ScopeGraph (Algebra.Graph.Graph a)
-  deriving (Show, Eq)
-
-instance Semigroup (ScopeGraph a) where (<>) = GC.overlay
-instance Monoid (ScopeGraph a) where mempty = GC.empty
-
--- ref :: Text -> IO (Vertex (ScopeGraph Info))
--- ref t = Node <$> (Ref <$> newUnique <*> pure t)
-
--- scope :: IO (Vertex (ScopeGraph Info))
--- scope = Node . Scope <$> newUnique
-
-
-instance GC.Graph (ScopeGraph a) where
-  type Vertex (ScopeGraph a) = a
-  empty  = ScopeGraph GC.empty
-  vertex = ScopeGraph . GC.vertex
-  overlay (ScopeGraph a) (ScopeGraph b) = ScopeGraph (a `GC.overlay` b)
-  connect (ScopeGraph a) (ScopeGraph b) = ScopeGraph (a `GC.connect` b)
-
-data Info = Decl Int Text
-          | Scope Int
-          | Root (Maybe Path.AbsRelFile)
-  deriving (Eq, Ord)
-
-class Addressable a where
-  scope :: Int -> a
-  decl  :: Int -> Text -> a
-  root  :: Maybe Path.AbsRelFile -> a
-
-instance Addressable Info where
-  scope = Scope
-  decl  = Decl
-  root  = Root
-
-instance Show Info where
-  show = \case
-    Decl _ i -> unpack i
-    Scope u -> "❇️  " <> show u
-    Root _  -> "🏁"
-
-simplify :: Ord a => ScopeGraph a -> ScopeGraph a
-simplify (ScopeGraph a) = ScopeGraph (Algebra.Graph.simplify a)