Agda.Interaction.EmacsTop
mimicGHCi