diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 01:03:03 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 01:03:03 +0900 |
| commit | 68b68a6ed58f3205e9c4f9145bfdeb09b3aa3dce (patch) | |
| tree | e09a43723ae9e742e5715bdf4f7900616291d953 | |
| parent | 661601222ef3787b0b9d84bd7037f42d3ce1f53f (diff) | |
huffman-encode: Update comment.
| -rw-r--r-- | huffman-encode.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp index edc05f1..bd5d4d4 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -1,7 +1,7 @@ ;;; Provide Huffman encoding (in-package "ACL2") -;;; Deine Huffman tree +;;; Deine huffman tree (defun nodep (x) (declare (xargs :guard t)) (and (consp x) |