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 True True = FalseexOr True False = TrueexOr False True = TrueexOr False False = False*Main> exOr True TrueFalse*Main> exOr True FalseTrue*Main> exOr False TrueTrue*Main> exOr False FalseFalse*Main>
Post a Comment