GitLab

This switches from floats to a sort of arbitrary precision base10 floating point
implementation where we can easily generate uniform random numbers.

The problem with floats is that they aren't distributed equally across the whole
range and thus a random number in [0, 1) is not uniform.

This was also renamed accordingly in CoPaR itself

Hides ugly debug output from stderr but instead persists it in the generated
file, in case someone wants to re-generate it (e.g. after fixing a bug in the
generator).

This highlights the fact that they represent finite sets and the value syntax
are hexadecimal unsigned integers.

Fixes a syntax error that prevented this example from being parsed.

Corrects some typos and fixes the stack command used to execute the examples.

Removes lots of code duplication

Just for completeness. The corresponding `max` implementations were already
there.

This means that `insert undefined bag` now evaluates to undefined in WHNF.

This was the intention all along.

This was a bug in the `delmin` helper that is used to delete the smallest
element of the right tree. It deleted too much.

This caused erroneous calls to rotateDoubleRight instead of rotateSingleRight,
thus disbalancing the tree and possibly failing to pattern match.

This is used in the Eq instance and also makes debugging and testing easier.

This is not strictly required by copar but allows for easier testing.

This returns the size of the tree, not the actual number of elements (there can
be more elements per node) and thus should not be in the public API.