1462186f844d3b541ab1542336e57586df486b51Christian Maedertype bool ::= true | false

1462186f844d3b541ab1542336e57586df486b51Christian Maeder

6aced3cb4c811010d876143f92fca7af32cf1c23Christian Maederop a : bool = true

1462186f844d3b541ab1542336e57586df486b51Christian Maeder

6aced3cb4c811010d876143f92fca7af32cf1c23Christian Maederop notA : bool = case a of true -> false | false -> true

9e72bdb099564f9e5f51a069f05efba14bdbe2d7Christian Maeder

6aced3cb4c811010d876143f92fca7af32cf1c23Christian Maederop b : bool = let x = true; y = false; z = x in true

077134553676bd8d6ad24dfa3622a30049cac9d7Christian Maeder

6aced3cb4c811010d876143f92fca7af32cf1c23Christian Maederop b : bool -> bool = \x . x