10 Oct
2001
10 Oct
'01
3:11 a.m.
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 ^----left something on the left, eg ^----right
Being bad on these elementary terms makes using foldr, foldl, etc a bit difficult for me :-S ___cheers,_dave________________________________________________________ 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.