[Haskell-cafe] using of data types as kinds

Greg Woodhouse gregory.woodhouse at sbcglobal.net
Tue Nov 22 12:24:41 EST 2005

--- Simon Peyton-Jones <simonpj at microsoft.com> wrote:

> Read about Omega!  

I will.

> Busy doing GADTs and impredicativity at the moment though


Gregory Woodhouse  <gregory.woodhouse at sbcglobal.net>

"Interaction is the mind-body problem of computing."

--Philip Wadler

More information about the Haskell-Cafe mailing list