#1581 (Oct 26, 2021, 12:50:06 AM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. more antiquotations; (detail / hgweb)
4. more antiquotations; (detail / hgweb)
5. more robust: genuinely free variables need to be instantiated; (detail / hgweb)
6. tuned comments; (detail / hgweb)
7. clarified errors; (detail / hgweb)
8. tuned; (detail / hgweb)
9. clarified instantiation: local beta reduction after substitution, as for Envir.expand_term_defs; (detail / hgweb)
10. tuned; (detail / hgweb)
11. clarified signature -- avoid clones; (detail / hgweb)
12. Refinement of partitions (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 1 hr 38 min build duration;
• 1 hr 38 min total from scheduled to completion.