Personal memorandum for studying functional languages, theorem proving, and formal verification. But other topics might be included. Written in Japanese (Shift-JIS Encoding).
25 June, 2006
[Haskell] Exercise 3.1, 3.2
ex31.hs に下記の様に定義 exOr :: Bool -> Bool -> Bool exOr x y = (x && not y) || (not x && y)
No comments:
Post a Comment