Searched refs:mimicGHCi (Results 1 – 2 of 2) sorted by relevance
22 import Agda.Interaction.EmacsTop (mimicGHCi)107 emacsModeInteractor setup _check = mimicGHCi setup
2 ( mimicGHCi49 mimicGHCi :: TCM () -> TCM ()50 mimicGHCi = repl (liftIO . mapM_ (putStrLn . prettyShow) <=< lispifyResponse) "Agda2> " function