|
|
|---|
|
|
|
|---|
Downcase any list of characters (even non-standard ones).
;; Convert the CHARS from upper to lower case, leaving non-upper-case-letters ;; unchanged. (defund chars-downcase-gen (chars acc) (declare (xargs :guard (and (character-listp chars) (character-listp acc)))) (if (endp chars) (reverse acc) (chars-downcase-gen (rest chars) (cons (char-downcase-gen (first chars)) acc))))