> While for finite signals both have meaning, ie. > > [1,2,3] > [1,2,1] == True > [1,2,3] >* [1,2,1] == [False,False,True]
Also, as the signature I gave implied, [1,2,3] >* [1,2,1] == [0,0,1] And ifE etc., all as described in the paper I mentioned without referencing: 'Compiling Embedded Languages', Elliott, Finne and de Moor, 2000. I suspect this is well trodden ground, but I can't find the 'why is it so' writeup. Thanks, Rohan _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime