| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 44 | logplain |
| -rw-r--r-- | LICENSE | 1480 | logplain |
| -rw-r--r-- | Makefile | 356 | logplain |
| -rw-r--r-- | standard-52-card-deck.lisp | 4111 | logplain |
| -rw-r--r-- | top.lisp | 60 | logplain |
 |
index : standard-52-card-deck.git | |
| ACL2 でトランプを扱うためのやつ | Masaya Tojo |
| summaryrefslogtreecommitdiff |