I think we should have a wiki page somewhere which explains what all
the various Haskell-related terms mean. Terms like "typing the knot"
and "finally tagless". (Not to mention "Oleg rating"...)
I have created such a page:
http://www.haskell.org/haskellwiki/Terms
Defining "unlifted type" without defining "bottom" probably isn't very
helpful. (I'm sure there's already a wiki page for it though...)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe