Playing cards: Difference between revisions
m
added related tasks
m (→version 2: appended a value to the EXIT statement.) |
m (added related tasks) |
||
Line 14:
Each card must have a pip value and a suit value which constitute the unique value of the card.
Related tasks:
* [[Card shuffles]]
* [[Deal cards_for_FreeCell]]
* [[War Card_Game]]
* [[Poker hand_analyser]]
* [[Go Fish]]
=={{header|ACL2}}==
|