So, suppose that I'm in a terminal vim session, and I want to start ghci (in the current terminal). What do I do?<br><br><localleader>cc starts a new terminal, which is not what I want.<br><br><div class="gmail_quote">
On Wed, Sep 12, 2012 at 3:03 PM, Alfredo Di Napoli <span dir="ltr"><<a href="mailto:alfredo.dinapoli@gmail.com" target="_blank">alfredo.dinapoli@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi everyone,<br><br>in case you have missed it, I've released a Vim plugin called Cumino:<br><br><a href="http://adinapoli.github.com/cumino/" target="_blank">http://adinapoli.github.com/cumino/</a><br><br>It does one simple thing: It allows communication between Vim and tmux, in particular to a ghci session. With Cumino you can fire-up Vim,<br>
load a ghci session and interact with it with only few keystrokes. The plugin also supports visual selection: you can select for example a function (even with all its signature!)<br>and you can send it to ghci. The visual selection supports imports, custom types and typeclasses.<br>
<br>It's a simple idea but so damn useful, imho. <br><br>This release also adds the possibility to prettify the code using the excellent stylish-haskell: select a snippet, simply indent in the usual way ( = ) and voilą, now<br>
your code is indented!<br><br>Feedback are highly appreciated, as well as contributions.<br>There are still some issues with some terminals (for example urxvt does not work right now) but the plugin has been tested against gnome-terminal, xterm and mlterm.<br>
<br>I'll post in reddit too for completeness!<br><br>Bye!<span class="HOEnZb"><font color="#888888"><br>Alfredo<br>
</font></span><br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br>