diff options
Diffstat (limited to 'std/String.bruijn')
| -rw-r--r-- | std/String.bruijn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/std/String.bruijn b/std/String.bruijn index c74d950..bc80840 100644 --- a/std/String.bruijn +++ b/std/String.bruijn @@ -7,7 +7,7 @@ # returns true if two strings are the same eq? eq? B.eq? -(=?) eq? +…=?… eq? :test ("ab" =? "ab") (true) :test ("ab" =? "aa") (false) @@ -15,11 +15,11 @@ eq? eq? B.eq? # returns true if character is part of a string in? in? B.eq? -(∈) in? +…∈… in? ni? \in? -(∋) ni? +…∋… ni? :test ('b' ∈ "ab") (true) :test ('c' ∈ "ab") (false) |