[mercury-users] false function

[Michael Day]

> which is that the value of the function is _not_ "false", there is no value
> in that case.  I've seen \Omega (an actual Omega) used for this purpose and
> (error "string") in a language without "semidet functions" and _|_ (as an
> approximation to the symbol for bottom).

Just out of interest, isn't the Latin name for _|_ "falsum"?
And isn't that just a proposition, the same as false?

Michael

-- 
YesLogic Prince prints XML!
http://yeslogic.com

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------