Personal memorandum for studying functional languages, theorem proving, and formal verification. But other topics might be included. Written in Japanese (Shift-JIS Encoding).
exOr :: Bool -> Bool -> BoolexOr x y = (x && not y) || (not x && y)*Main> exOr True TrueFalse*Main> exOr True FalseTrue*Main> exOr False TrueTrue*Main> exOr False FalseFalse*Main>
Post a Comment