@@ -12,7 +12,7 @@ data Bool = False | True
12||| The underlying implementation of the if ... then ... else ... syntax
12||| The underlying implementation of the if ... then ... else ... syntax
13||| @ b the condition on the if
13||| @ b the condition on the if
14||| @ t the value if b is true
14||| @ t the value if b is true
15−||| @ e the falue if b is false
15+||| @ e the value if b is false
16ifThenElse : (b : Bool) -> (t : Lazy a) -> (e : Lazy a) -> a
16ifThenElse : (b : Bool) -> (t : Lazy a) -> (e : Lazy a) -> a
17ifThenElse True t e = t
17ifThenElse True t e = t
18ifThenElse False t e = e
18ifThenElse False t e = e