diff --git a/src/Idris/Main.idr b/src/Idris/Main.idr
index e2ace310d..acb39a1ee 100644
--- a/src/Idris/Main.idr
+++ b/src/Idris/Main.idr
@@ -1,40 +1,31 @@
 module Main
 
-import Core.Binary
-import Core.Context
 import Core.Core
-import Core.Directory
 import Core.InitPrimitives
 import Core.Metadata
-import Core.Options
 import Core.Unify
-import Utils.Path
 
 import Idris.CommandLine
-import Idris.Desugar
 import Idris.IDEMode.REPL
 import Idris.ModTree
 import Idris.Package
-import Idris.Parser
 import Idris.ProcessIdr
 import Idris.REPL
 import Idris.SetOptions
 import Idris.Syntax
 import Idris.Version
 
-import Data.List
+import IdrisPaths
+
 import Data.So
 import Data.Strings
-import Data.Vect
 import System
 import System.Directory
 import System.File
-
+import Utils.Path
 
 import Yaffle.Main
 
-import IdrisPaths
-
 %default covering
 
 findInput : List CLOpt -> Maybe String