| Age | Commit message (Collapse) | Author |
|---|
|
All other equality functions are called "equal" but this one was called "eq".
We add a deprecated alias for backward compatibility.
|
|
Add headers to a few files which were missing them.
|
|
They probably don't need to be executable
|
|
Changed year in headers
|
|
Most functions are taken either from the Coq standard library or the
OCaml standard library. One (`enumerate`) is taken from Python. Most
names are chosen according to OCaml conventions (as Coq does not have
exceptions, and so the OCaml naming conventions already distinguish
between option and exception). Since `exists` is a keyword, we use the
Coq name `existsb` instead. We generally favor Coq argument ordering
when there is a conflict between Coq and OCaml.
Note that `seq` matches neither Coq nor OCaml; it takes a `step`
argument for how much to increment by on each step.
Sorting functions are mostly taken from Coq's mergesort library; it
might make sense to replace them with OCaml's versions for efficiency?
|
