13 Nov
2006
13 Nov
'06
7:57 p.m.
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