summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2022-07-14huffman-encode: consp-encode-1, consp-encode: Fix hypotheses.Masaya Tojo
2022-07-14huffman-encode: Rearrange functions and thiorems.Masaya Tojo
2022-07-14huffman-encode: huffman-leaf-listp: Removed.Masaya Tojo
2022-07-14huffman-encode: Rearrange functions and thiorems about node-count.Masaya Tojo
2022-07-14huffman-encode: Refactor.Masaya Tojo
2022-07-14huffman-encode: rationalp-weight/leaf: Fix.Masaya Tojo
2022-07-14huffman-encode: symbol-list-leaf-symbol: Rename.Masaya Tojo
2022-07-14huffman-encode: Rearrance functions.Masaya Tojo
2022-07-14huffman-encode: Remove huffman-leafp function.Masaya Tojo
2022-07-14huffman-encode: Update comment.Masaya Tojo
2022-07-14huffman-encode: Rearrange codes.Masaya Tojo
2022-07-14huffman-encode: node-count: Add guards.Masaya Tojo
2022-07-14.gitignore: Add `temp-emacs-file.lsp` file.Masaya Tojo
2022-07-14Add huffman-encode.Masaya Tojo
2022-07-14Add LICENSE file.Masaya Tojo
2022-07-14Add .gitignore file.Masaya Tojo