Re: [Epigram] Transpose again

Hi Mea culpa, I suspect. I haven't checked, but it looks like you've run into one of the known bugs. It's annoying, but there's a workaround. The trouble is the dog that doesn't bark... On 29 Feb 2008, at 14:16, Serguey Zefirov wrote: I decided to write transpose with implicit parameters. And

[Epigram] Transpose again

I decided to write transpose with implicit parameters. And get stuck, as usual. This is partial code: ( n : Nat ; m : Nat ; xys : Vec n (Vec m X) ! let !-! !transpose