@@ -19,8 +19,6 @@ import System.FilePath ((</>), splitDirectories,isAbsolute)
19import System.Directory
19import System.Directory
20import qualified System.FilePath.Posix as Px
20import qualified System.FilePath.Posix as Px
21import System.Process
21import System.Process
22−import qualified Data.Text as T
23−import qualified Data.Text.IO as TIO
25-- After Idris is built, we need to check and install the prelude and other libs
23-- After Idris is built, we need to check and install the prelude and other libs