In the report on the Haskell programming language (http://www.haskell.org/onlinereport/), the Haskell kernel is mentionen in several places. It says in section 1.2 that the Haskell kernel is a slightly sugared form of lambda calculus. Futhermore most expression should be possible to translate to the Haskell kernel. But where is this kernel defined (I cannot find it in the report) ? Actually the case-expression(section 3.13) seems more fundamental than the lambda-expression in Haskell. Several construct translate to the case-expression instead of lambda-expression as the if-expression(section 3.6). It is also shown howto translate the lambda-expression into the case-expression in section 3.3. Am I missing something here ? Grateful for any hint. Mads ________________________________________ Få din egen webmail på http://mail.sol.dk - gratis og med dig overalt!