History of Idiom 11 > diff from v11 to v12
Edit summary for version 12 by :
↷
Version 11
2015-08-25, 20:25:50
Version 12
2015-08-27, 19:09:11
Idiom #11 Pick a random element from a list
List x must be non-empty
Idiom #11 Pick a random element from a list
List x must be non-empty.