The state of the art for Arrow specs

Laurent Martelli
28 Oct 1999 16:14:55 +0200

>>>>> "Brian" == Brian Rice <> writes:

  Brian> Comments are, of course, highly welcome.

Thanks for the clarification. I now understand better what Arrow is
all about. 

Tell me if I'm wrong : a graph is a set of arrow, whose car is a
possible input value for a function, and whose cdr is the output value
for that input. 

Right ?

Laurent Martelli