You&#39;re welcome :)<br>Using Cumino your workflow should be faster and leaner. I encourage to try it out and let me have feedback!<br><br>Cheers,<br>A.<br><br><div class="gmail_quote">On 12 September 2012 21:43, Roman Cheplyaka <span dir="ltr">&lt;<a href="mailto:roma@ro-che.info" target="_blank">roma@ro-che.info</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ah, okay. I was just confused by the fact that it uses tmux, and thought that I was misusing it.<br><br>Yes, I also usually keep ghci in a separate window (and I am an xmonad user, too). I just thought that this offers a different experience and wanted to try it out.<br>

<br>Anyway, thanks for clarifying.<div class="HOEnZb"><div class="h5"><br></div></div></blockquote></div>