23 Jan
2009
23 Jan
'09
2:10 p.m.
On Fri, Jan 23, 2009 at 05:46:11PM +0100, Francesco Bochicchio wrote:
2009/1/23 Brent Yorgey
Now, it *is* possible to have existentially quantification in Haskell; I can show you how if you like, but I think I'll stop here for now.
Does this help?
Yes thanks.
From other answers, I also got the essence of it, but now I know the exact terminology: I met the terms
Glad it helped! And just so you know, I made a typo; that should say 'existential quantificataion', not 'existentially quantification'. =) -Brent