@@ -12,7 +12,7 @@ data Bool = False | True
1212||| The underlying implementation of the if ... then ... else ... syntax
1313||| @ b the condition on the if
1414||| @ t the value if b is true
15−||| @ e the falue if b is false
15+||| @ e the value if b is false
1616ifThenElse : (b : Bool) -> (t : Lazy a) -> (e : Lazy a) -> a
1717ifThenElse True t e = t
1818ifThenElse False t e = e