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: f632ff773a723172c888f61bfd87ae9745607a8d (
plain
)
1
2
3
4
5
*~ temp-emacs-file.lsp *.cert *.fasl *.port