Sha256: bbf158ebd9f731493177ecadb5a5290724e25d18342468afa8dc9f2bd4005e38
Contents?: true
Size: 239 Bytes
Versions: 5
Compression:
Stored size: 239 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
5 entries across 5 versions & 2 rubygems