--- Simon Peyton-Jones <simonpj at microsoft.com> wrote: > Read about Omega! > I will. > Busy doing GADTs and impredicativity at the moment though > Impredicativity? === Gregory Woodhouse <gregory.woodhouse at sbcglobal.net> "Interaction is the mind-body problem of computing." --Philip Wadler