Sha256: c7cba050ce99b7a3cc121b90661e4ccf0accd669690b567563e52204a06d7f35
Contents?: true
Size: 238 Bytes
Versions: 51
Compression:
Stored size: 238 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".
Version data entries
51 entries across 49 versions & 8 rubygems