Commit a533f667 authored by John van Groningen's avatar John van Groningen

fix definition of Any

parent 9412550d
......@@ -442,9 +442,9 @@ Or :: !u:(l v:Bool) -> Bool | List l Bool,[u<=v]
Any p l :== any_ l
where
any_ []
any_ [|]
= False
any_ [b : tl]
any_ [|b : tl]
= p b || any_ tl
All p l :== all_ l
......
......@@ -649,10 +649,10 @@ Or [|b : tl]
= b || Or tl
Any p l :== any_ l
where
any_ []
where
any_ [|]
= False
any_ [b : tl]
any_ [|b : tl]
= p b || any_ tl
All p l :== all_ l
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment