bookshelf.git/lists/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