[racket] Little Schemer, lat?
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>