3 lines
81 B
Text
3 lines
81 B
Text
|
Require Import String.
|
||
|
|
Eval compute in build_vector 4 "Hello" "how" "are" "you".
|