Pick random element: Difference between revisions
Content added Content deleted
Alextretyak (talk | contribs) (Added 11l) |
|||
Line 1: | Line 1: | ||
{{task|Basic language learning}} [[Category:Randomness]] |
{{task|Basic language learning}} [[Category:Randomness]] |
||
Demonstrate how to pick a random element from a list. |
Demonstrate how to pick a random element from a list. |
||
=={{header|11l}}== |
|||
{{trans|Python}} |
|||
<lang 11l>print(random:choice([‘foo’, ‘bar’, ‘baz’]))</lang> |
|||
=={{header|ACL2}}== |
=={{header|ACL2}}== |