diff --git a/app/ghcup/AnsiMain.hs b/app/ghcup/AnsiMain.hs
index 8838992..4c3b9fb 100644
--- a/app/ghcup/AnsiMain.hs
+++ b/app/ghcup/AnsiMain.hs
@@ -1,3 +1,10 @@
+{-# LANGUAGE CPP               #-}
+{-# LANGUAGE DataKinds         #-}
+{-# LANGUAGE FlexibleContexts  #-}
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TypeApplications  #-}
+{-# LANGUAGE RankNTypes        #-}
+
 module AnsiMain where
 
 import           GHCup
@@ -11,8 +18,203 @@ import           GHCup.Prelude.File
 import           GHCup.Prelude.Logger
 import           GHCup.Prelude.Process
 
-ansiMain :: AppState
-         -> IO ()
+import           Control.Monad.IO.Class
+import           Terminal.Game
+-- import           System.Console.ANSI
+import           System.Console.ANSI.Codes
+import           System.Console.ANSI.Types
+
+import qualified Data.Tuple                    as T
+import qualified Data.Vector                   as V
+import qualified Data.Text as Tx
+import Data.Maybe (fromMaybe)
+import Control.Monad.Reader (ReaderT(runReaderT))
+import System.Exit
+import Data.IORef
+import GHC.IO (unsafePerformIO)
+
+
+data BrickData = BrickData
+  { lr    :: [ListResult]
+  }
+  deriving Show
+
+data BrickSettings = BrickSettings
+  { showAllVersions :: Bool
+  , showAllTools    :: Bool
+  }
+  deriving Show
+
+data BrickInternalState = BrickInternalState
+  { clr :: V.Vector ListResult
+  , ix  :: Int
+  }
+  deriving Show
+
+data BrickState = BrickState
+  { appData     :: BrickData
+  , appSettings :: BrickSettings
+  , appState    :: BrickInternalState
+  , appKeys     :: KeyBindings
+  }
+  deriving Show
+
+ansiMain :: AppState -> IO ()
 ansiMain s = do
-  putStrLn "ansi terminal"
-  pure ()
+  writeIORef settings' s
+
+  eAppData <- getAppData (Just $ ghcupInfo s)
+  case eAppData of
+    Right ad -> do
+      let g = BrickState ad
+                    defaultAppSettings
+                    (constructList ad defaultAppSettings Nothing)
+                    (keyBindings (s :: AppState))
+
+
+      sizeCheck
+      errorPress $ playGame (ghcupGame g)
+    Left e -> do
+      flip runReaderT s $ logError $ "Error building app state: " <> Tx.pack (show e)
+      exitWith $ ExitFailure 2
+
+
+ where
+  sizeCheck :: IO ()
+  sizeCheck = let (w, h) = T.swap . snd $ boundaries
+              in assertTermDims w h
+
+
+ghcupGame :: BrickState -> Game BrickState
+ghcupGame s = Game 13 BrickState                 -- ticks per second
+                    (\_ s e -> logicFun s e)   -- logic function
+                    (\r s -> centerFull r $
+                               drawFun s)      -- draw function
+                    undefined                  -- quit function
+
+
+drawFun :: BrickState -> Plane
+drawFun (BrickState {..}) =
+             blankPlane mw     mh            &
+  (1, 1)   % box mw mh '.'                   &
+  (2, 2)   % box (mw-2) (mh-2) ' '           &
+  (15, 20) % textBox 10 4
+                     "Tap WASD to move, tap again to stop." &
+  (20, 60) % textBox 8 10
+                     "Press Q to quit." # color Blue Vivid
+ where
+  mh :: Height
+  mw :: Width
+  (mh, mw) = snd boundaries
+
+logicFun :: BrickState -> Event -> BrickState
+logicFun gs (KeyPress 'q') = gs 
+logicFun gs Tick           = gs
+logicFun gs (KeyPress c)   = gs
+
+
+defaultAppSettings :: BrickSettings
+defaultAppSettings = BrickSettings { showAllVersions = False, showAllTools = False }
+
+
+constructList :: BrickData
+              -> BrickSettings
+              -> Maybe BrickInternalState
+              -> BrickInternalState
+constructList appD appSettings =
+  replaceLR (filterVisible (showAllVersions appSettings)
+                           (showAllTools appSettings))
+            (lr appD)
+
+
+-- | Replace the @appState@ or construct it based on a filter function
+-- and a new @[ListResult]@ evidence.
+-- When passed an existing @appState@, tries to keep the selected element.
+replaceLR :: (ListResult -> Bool)
+          -> [ListResult]
+          -> Maybe BrickInternalState
+          -> BrickInternalState
+replaceLR filterF lr s =
+  let oldElem = s >>= listSelectedElement'
+      newVec  = V.fromList . filter filterF $ lr
+      newSelected =
+        case oldElem >>= \(_, oldE) -> V.findIndex (toolEqual oldE) newVec of
+          Just ix -> ix
+          Nothing -> selectLatest newVec
+  in  BrickInternalState newVec newSelected
+ where
+  toolEqual e1 e2 =
+    lTool e1 == lTool e2 && lVer e1 == lVer e2 && lCross e1 == lCross e2
+
+
+filterVisible :: Bool -> Bool -> ListResult -> Bool
+filterVisible v t e | lInstalled e = True
+                    | v
+                    , not t
+                    , lTool e `notElem` hiddenTools = True
+                    | not v
+                    , t
+                    , Old `notElem` lTag e = True
+                    | v
+                    , t = True
+                    | otherwise = (Old `notElem` lTag e) &&
+                                  (lTool e `notElem` hiddenTools)
+
+
+hiddenTools :: [Tool]
+hiddenTools = []
+
+
+selectLatest :: V.Vector ListResult -> Int
+selectLatest = fromMaybe 0 . V.findIndex (\ListResult {..} -> lTool == GHC && Latest `elem` lTag)
+
+
+listSelectedElement' :: BrickInternalState -> Maybe (Int, ListResult)
+listSelectedElement' BrickInternalState{..} = fmap (ix, ) $ clr V.!? ix
+
+
+boundaries :: (Coords, Coords)
+boundaries = ((1, 1), (24, 80))
+
+
+settings' :: IORef AppState
+{-# NOINLINE settings' #-}
+settings' = unsafePerformIO $ do
+  dirs <- getAllDirs
+  let loggerConfig = LoggerConfig { lcPrintDebug  = False
+                                  , consoleOutter = \_ -> pure ()
+                                  , fileOutter    = \_ -> pure ()
+                                  , fancyColors   = True
+                                  }
+  newIORef $ AppState defaultSettings
+                      dirs
+                      defaultKeyBindings
+                      (GHCupInfo mempty mempty mempty)
+                      (PlatformRequest A_64 Darwin Nothing)
+                      loggerConfig
+
+
+getAppData :: Maybe GHCupInfo
+           -> IO (Either String BrickData)
+getAppData mgi = runExceptT $ do
+  r <- ExceptT $ maybe getGHCupInfo (pure . Right) mgi
+  liftIO $ modifyIORef settings' (\s -> s { ghcupInfo = r })
+  settings <- liftIO $ readIORef settings'
+
+  flip runReaderT settings $ do
+    lV <- listVersions Nothing Nothing
+    pure $ BrickData (reverse lV)
+
+
+getGHCupInfo :: IO (Either String GHCupInfo)
+getGHCupInfo = do
+  settings <- readIORef settings'
+
+  r <-
+    flip runReaderT settings
+    . runE @'[DigestError, GPGError, JSONError , DownloadFailed , FileDoesNotExistError]
+    $ liftE getDownloadsF
+
+  case r of
+    VRight a -> pure $ Right a
+    VLeft  e -> pure $ Left (prettyShow e)