19 Jan
2007
19 Jan
'07
7:57 a.m.
On Fri, 19 Jan 2007, Ulf Norell
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