#693 (Jul 20, 2018, 1:01:52 AM)

1. slightly more canonical imports (detail / hgweb)
2. setup for Haskell taken over from AFP / Gauss_Jordan (detail / hgweb)
3. tuned equation (detail / hgweb)
4. restructured for future incorporation of Haskell (detail / hgweb)
5. slightly more uniform style (detail / hgweb)
6. taken over from AFP / Gauss_Jordan (detail / hgweb)
7. more cartouches (detail / hgweb)
8. merged (detail / hgweb)
9. normalize imports (detail / hgweb)

Started by an SCM change

This run spent:

• 11 min waiting;
• 1 hr 14 min build duration;
• 1 hr 26 min total from scheduled to completion.