Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
arsalan0c authored Jun 25, 2021

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent 2ae45ef commit 8fec724
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -96,7 +96,6 @@ def binarysearch(xs: list[int], key: int) -> int:
low: int = 0
high: int = length - 1
# decreases high - low
# invariant length == len(xs)
# invariant 0 <= low and high < length and low <= high + 1
# invariant forall i :: 0 <= i and i < length and not (low <= i and i <= high) ==> xs[i] != key
while low <= high:

0 comments on commit 8fec724

Please sign in to comment.