
5 Feb
2008
5 Feb
'08
5:41 a.m.
Hello Neil, Tuesday, February 5, 2008, 1:11:47 PM, you wrote:
insert x y = delete x >>> deleteR y >>> unsafeInsert x y
i use the following trick: (.$) = flip ($) insert x y it = it.$ delete x .$ deleteR y .$ unsafeInsert x y -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com