[Agda] type check cost for `open'

[Wolfram Kahl]

On Mon, Aug 17, 2015 at 06:09:38PM +0300, Sergei Meshveliani wrote:
> Now I look more attentively at the `top' output on memory, and see 12
> Gb.

Just a quick note: I find htop

     Homepage:            http://hisham.hm/htop/
     Description:         interactive process viewer

(possible available as a package from your distribution)
indispensible for watching Agda, especially when I work
interactively, since Emacs has insufficient information
on whether the Agda process is active or not.

  F6 ``sort by'' --> MEM

makes sure that, most of the time, your Agda process is
at the top of the listing...


Wolfram