[racket] Little Schemer, lat?

From: Sean Kanaley (skanaley at gmail.com)
Date: Thu Jan 8 11:08:48 EST 2015

As I see it, '() may not specifically be a lat, but it's not *not* a lat.
not not == is

Perhaps with a 3rd logical value we could declare it a "maybe" lat. That's
the same answer I would put in the truth table for implication

T T -> T
T F -> F
F T -> Maybe
F F -> Maybe

I know there are alternative logical systems, but I don't actually know any
of them, so sorry to all mathematicians I may have offended with the above.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20150108/8fd5e741/attachment.html>

Posted on the users mailing list.