bookshelf.git/Makefile, branch main
ACL2 で作ってみた自作ライブラリ関連
http://git.tojo.tokyo/bookshelf.git/atom?h=main
2022-07-16T06:34:00Z
lists: remove-nth, shuffle: Add remove-nth and shuffle.
2022-07-16T06:34:00Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-16T06:34:00Z
urn:sha1:8ada9230a681e8c1ee23686815c866d6eebde7e8
perm: Update Makefile.
2022-07-15T14:30:04Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-15T14:30:04Z
urn:sha1:11baab578f78913dd282c4a0a9f882aed9070787
* Makefile(all): Add perm.cert
* Makefile(perm.cert): New rule.
Add huffman-encode.
2022-07-13T15:11:44Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-13T15:11:44Z
urn:sha1:7c6f69eb7a623782396075a1f126c2c665d704e4