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