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