Re: Haskell 2 -- Dependent types?

[Fergus Henderson]

On 21-Feb-1999, Lennart Augustsson <[EMAIL PROTECTED]> wrote:
> 
> > > > F a * = member (map (F a) [0..]) // member [a] a -> Bool
> > > I mave no clue what this means.  What is `member'?
> > 
> > Member is memq, in, etc. Checks for membership in a list.
> I'm still lost.  What is // and how does it bind?

I believe "//" here is a C++/Java/C9X-style comment.
Just read it as if "//" were "--".  Everything from
the "//" until the end of line is a comment.

-- 
Fergus Henderson <[EMAIL PROTECTED]>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger [EMAIL PROTECTED]        |     -- leaked Microsoft memo.