Expr.hascasl revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroedertype bool ::= True | False
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroederop a : bool = True
97dc615bc3ce381eaa3e75cc23dfc3c4b566d9a0Jonathan von Schroederop notA : bool = case a of True -> False | False -> True
97dc615bc3ce381eaa3e75cc23dfc3c4b566d9a0Jonathan von Schroederop b : bool = let x = True; y = False; z = x in True
97dc615bc3ce381eaa3e75cc23dfc3c4b566d9a0Jonathan von Schroederop b : bool -> bool = \x . x