Lists-light
A lightweight library for lists.
This library covers many built-in list operations as well as many additional list functions defined in the library itself. Specifically, it covers the built-in functions:
- cons
- car
- cdr
- nthcdr
- take
- len
- true-list-fix
- reverse
- first-n-ac
- member-equal
- subsetp-equal
- last
- nth
- update-nth
- no-duplicatesp-equal
- butlast
- append
- revappend
- remove-duplicates-equal
- remove-equal
- remove1-equal
- union-equal
- intersection-equal
- add-to-set-equal
- set-difference-equal
- subsequencep
It also defines these functions and includes rules about them:
- find-index
- firstn
- repeat
- reverse-list
- memberp
- perm
- repeat-tail
- subrange
- subsequencep-equal
- update-nth2
- last-elem
- finalcdr
- all-equal$
- all-eql$
- all-same
- all-same-eql
- update-subrange
- add-to-end
- first-non-member
- count-occs
- prefixp
- len-at-least
- group
- ungroup
- append-with-key
- list-equiv
The library is located in community-books directory kestrel/lists-light/. It is being developed in a lightweight style that minimizes dependencies. See the individual files for details.