
10 Aug
2007
10 Aug
'07
4 p.m.
Chad Scherrer wrote:
I wonder, is listify a contravariant functor?
I wonder - will I ever reach the stage where I too make off-hand remarks like this? :-} Now I know how all the "normal" people feel when I tell them that a relation is simply a subset of the extended Cartesian product of the respective domains of its attributes...