= vs ->

D. Tweed tweed@compsci.bristol.ac.uk
Wed, 10 Oct 2001 08:11:57 +0100 (BST)

On Wed, 10 Oct 2001, D. Tweed wrote:

> degenerate equality you get from defining the lhs in terms of the rhs. The
> -> is used whenever you've got something on the right that `leads to' to
> something on the left, eg

Being bad on these elementary terms makes using foldr, foldl, etc a
bit difficult for me :-S

www.cs.bris.ac.uk/~tweed/pi.htm |tweed's law:  however many computers
email: tweed@cs.bris.ac.uk      |   you have, half your time is spent
work tel: (0117) 954-5250       |   waiting for compilations to finish.