bookshelf.git/huffman-encode.lisp, branch main
ACL2 で作ってみた自作ライブラリ関連
http://git.tojo.tokyo/bookshelf.git/atom?h=main
2022-07-15T13:18:10Z
huffman-encode: rationalp-0-count-and-remove: Use `mv-nth` function.
2022-07-15T13:18:10Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-15T13:16:32Z
urn:sha1:8974e4b43e59ab7fadc803009cc9dff9d283f36d
huffman-encode: Refactor.
2022-07-14T08:30:47Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-14T08:30:23Z
urn:sha1:05bb99b8f3f4f31699b945a01537f18e40f61bd8
huffman-encode: decode1-append-encode-1: Renamed.
2022-07-14T08:30:08Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-14T08:30:08Z
urn:sha1:3e761c7bfce4be1f27e28b05d9378129c1484555
huffman-encode: consp-encode-1, consp-encode: Fix hypotheses.
2022-07-14T08:29:36Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-14T08:29:36Z
urn:sha1:a0e3ae6454cb363b70e8c07ce03689b690a6a5dc
huffman-encode: Rearrange functions and thiorems.
2022-07-14T04:58:44Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-14T04:32:07Z
urn:sha1:112364796296fd0721674f271d27d5e2ae904ce8
huffman-encode: huffman-leaf-listp: Removed.
2022-07-14T04:30:23Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-14T04:29:58Z
urn:sha1:66ab91cf8ea4bc18faf4901e26f016651df901bb
huffman-encode: Rearrange functions and thiorems about node-count.
2022-07-14T04:05:14Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-14T04:05:14Z
urn:sha1:2a2010312569f19f8f789546eced8e3d1f2e8877
huffman-encode: Refactor.
2022-07-14T04:04:35Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-14T04:04:12Z
urn:sha1:f3c662421bc7913604355012bcced5d75051e505
huffman-encode: rationalp-weight/leaf: Fix.
2022-07-14T04:03:33Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-14T04:03:33Z
urn:sha1:ef184a3fbfb0494d52d5c1993514cd8feed32233
huffman-encode: symbol-list-leaf-symbol: Rename.
2022-07-14T04:02:30Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-14T04:02:30Z
urn:sha1:07242a16ff73b043202a8e82a087e506ea7ad40b