10 lines
194 B
Text
10 lines
194 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
|
|
}
|