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