Agda-184.108.40.206: A dependently typed functional programming language and proof assistant
mimicGHCi :: TCM ()Source
mimicGHCi is a fake ghci interpreter for the Emacs frontend
and for interaction tests.
mimicGHCi reads the Emacs frontend commands from stdin,
interprets them and print the result into stdout.
Produced by Haddock version 2.13.2