v1.0

Change the 'quad` benchmarks to:

• quadU : untyped-first
• quadT : typed-first

The quad code originally came to us as two codebases by the same author. One codebase was typed, the other untyped. The typed code introduces define-predicates and uses them heavily.

Previous benchmarks combined code from the two.

Now, quadU starts with the original untyped code and adds types without otherwise changing the code. Likewise, quadT removes types without changing the code (or removing the computation done by the predicates).

Thank you Sam Tobin-Hochstadt.

v0.0

Initial release