index
:
standard-52-card-deck.git
master
ACL2 でトランプを扱うためのやつ
Masaya Tojo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.gitignore
blob: 6f8d6baa6d5208becbf260de858af261d3cdbb07 (
plain
)
1
2
*~ temp-emacs-file.lsp