Sha256: 924773440670a2901bcf318ee95d1625da52694502379a5696eaec628322f552
Contents?: true
Size: 303 Bytes
Versions: 11
Compression:
Stored size: 303 Bytes
Contents
Require Import Coq.Lists.List.
Section with_T.
Context {T : Type}.
Fixpoint length (ls : list T) : nat :=
match ls with
| nil => 0
| _ :: ls => S (length ls)
end.
End with_T.
Definition a_string := "hello
world".
Definition escape_string := "0123".
Definition zero_string := "0".
Version data entries
11 entries across 11 versions & 1 rubygems