fd34bc2f8ca5771483b80058932a365b254fcb29Christian Maedertype Bool ::= True | False

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder

fd34bc2f8ca5771483b80058932a365b254fcb29Christian Maederop a : Bool = True

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder

fd34bc2f8ca5771483b80058932a365b254fcb29Christian Maederop notA : Bool = case a of True -> False | False -> True

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder

fd34bc2f8ca5771483b80058932a365b254fcb29Christian Maederop b : Bool = let x = True; y = False; z = x in True

bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder

fd34bc2f8ca5771483b80058932a365b254fcb29Christian Maederop b : Bool -> Bool = \x .! x