#368 (Jul 12, 2017, 12:50:33 AM)

1. state monad (detail / hgweb)
2. State_Monad ~> Open_State_Syntax (detail / hgweb)
3. more material on fmaps (detail / hgweb)
4. canonical representation for fmaps is fmlookup (detail / hgweb)
5. fmaps are countable (detail / hgweb)
6. merged (detail / hgweb)
7. card_0_eq ~> fcard_0_eq (detail / hgweb)
8. material from $AFP/Formula_Derivatives/FSet_More (detail / hgweb)
9. FSet is monadic (detail / hgweb)
10. finite sets are countable (detail / hgweb)
11. lift sum to finite sets (detail / hgweb)

Started by an SCM change

This run spent:

• 32 sec waiting;
• 1 hr 33 min build duration;
• 1 hr 34 min total from scheduled to completion.