diff options
Diffstat (limited to 'std')
| -rw-r--r-- | std/List.bruijn | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/std/List.bruijn b/std/List.bruijn index 5bc49e1..eba39bb 100644 --- a/std/List.bruijn +++ b/std/List.bruijn @@ -78,9 +78,6 @@ filter Z [[[empty? 0 [empty] [2 (head 1) (cons (head 1)) I (3 2 (tail 1))] I]]] :test filter N.zero? (cons +1 (cons +0 (cons +3 empty))) = cons +0 empty -# checks whether an element is part of a list -elem [[foldr [or (N.eq? 1 0)] F 2]] - # returns the last element of a list last Z [[empty? 0 [empty] [empty? (tail 1) (head 1) (2 (tail 1))] I]] |