On Fri, 19 Jan 2007, Ulf Norell <[EMAIL PROTECTED]> wrote: > Personally I think that the distinction between _|_ and \x -> _|_ is > a mistake and should be ignored whenever possible.
If you want to write an accessible tutorial you should probably use a total programming language, or at least the total fragment of some language, for the programming-related examples. I'd mention the problems with Haskell, restrict the language in some way, and then move on. -- /NAD _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe