# A little correction (Re: Using Set: Hypergraph type)

**Eray Ozkural (exa)
**
erayo@cs.bilkent.edu.tr

*Tue, 4 Sep 2001 20:54:45 +0300*

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On Tuesday 04 September 2001 08:28 pm, Eray Ozkural (exa) wrote:
>* Hi Dan,
*>*
*
I'm a bit sleepy, sorry.
>* Okay, I guess I got it now. The (types of) elements of a Set ought to be
*>* instances of Ord. So I presume Edison supports only flat sets. So, this is
*>* not really a mathematical set, whichever set theory you take to be correct
*>* :)
*>*
*
That is, if you use Set type. This would possibly be solved by using
something like Coll (Set a) but I have to see that for myself and delve into
Edison's docs a little more. Surely a data structure isn't supposed to be the
same thing as a mathematical entity with the same name.
Thanks,
- --
Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara
www: http://www.cs.bilkent.edu.tr/~erayo
GPG public key fingerprint: 360C 852F 88B0 A745 F31B EA0F 7C07 AE16 874D 539C
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iD8DBQE7lRVnfAeuFodNU5wRAtoeAJ4gVxFNGvxQXGImi5UGCFK6u0uk7ACfZDzV
UsxeARwxnfQvXdwbUU+7/hE=
=m1qP
-----END PGP SIGNATURE-----