3 lines
77 B
Coq
3 lines
77 B
Coq
Require Import Coq.Strings.String.
|
|
|
|
Eval compute in ("Hello world!"%string).
|
Require Import Coq.Strings.String.
|
|
|
|
Eval compute in ("Hello world!"%string).
|