16 Mar
2009
16 Mar
'09
10:45 p.m.
On Sun, Mar 15, 2009 at 07:35:37AM -0800, PETER EASTHOPE wrote:
Lawvere & Schanuel use a horizontal line notation. Page 326 for example.
X --> 1^T --------- TxX --> 1
This is unfamiliar. Does the line have a name? How is it read?
It's read "(X --> 1^T)" is the transpose of (TxX --> 1)", but I'm not aware of a name for the line itself. This is reasonably standard notation, by the way. Miles -- Besides, don't think aircraft carrier, think mecha. The type system is a great amplifier of careful reasoning and propagator of intent. If somebody starts muttering about bondage, just tell them "those straps are there so the servos can follow *me*". -- skew, on #haskell