#1143 (Sep 1, 2017, 1:32:30 PM)

1. merged (detail / hgweb)
2. more facts on Map.map_of and List.zip (detail / hgweb)
3. more facts on Map.ran (detail / hgweb)
4. another fact on (- 1) ^ _ (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 3 hr 7 min build duration;
• 3 hr 12 min total from scheduled to completion.