bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maedertype bool ::= True | False

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop a : bool = True

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop notA : bool = case a of True -> False | False -> True

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop b : bool = let x = True; y = False; z = x in True

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop b : bool -> bool = \x . x