<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 17, 2013 at 12:41 AM, Thiago Negri <span dir="ltr"><<a href="mailto:evohunz@gmail.com" target="_blank">evohunz@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>The only hit I get in DuckDuckGo was this: <a href="http://sigkill.dk/programs/arrows/" target="_blank">http://sigkill.dk/programs/arrows/</a><div>

<br></div><div>I've tried things like this, and I couldn't make it work.</div>

<div>Yet I've copy&pasted the code, and it worked! Even with the "loop_bufid" test!</div></div></blockquote></div><br></div><div class="gmail_extra">If it's any consolation, feed 'er this:<br><br>

arrswap2 :: SP (a,b) (b,a)<br>arrswap2 = let r = Get(\(a1,b1) -> Get(\(a2,b2) -> Put (b1,a1) (Put (b2,a2) r))) in r<br></div><div class="gmail_extra"><br clear="all"><div>-- Kim-Ee</div>
</div></div>