8 lines
173 B
Text
8 lines
173 B
Text
data Bool () where
|
|
True : Bool ()
|
|
False : Bool ()
|
|
|
|
ifThenElse : forall a. Bool () -> a -> a -> a
|
|
ifThenElse b if else = case b of
|
|
True => if
|
|
False => else
|