6 lines
139 B
Text
6 lines
139 B
Text
|
declare
|
||
|
|
Xs = {MakeList 5} %% a list of 5 unbound variables
|
||
|
|
in
|
||
|
|
{ForAll Xs OS.rand} %% fill it with random numbers (CORRECT)
|
||
|
|
{Show Xs}
|