18 Mar
2011
18 Mar
'11
2:35 a.m.
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...)