#2630 (Jan 27, 2021, 5:47:02 PM)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. Added metadata for previous commit (Optics). (detail)
2. Addition of theorems throughout, particularly for prisms.
   New "chantype" command allows the definition of an algebraic datatype with generated prisms.
   New "dataspace" command allows the definition of a local-based state space, including lenses and prisms.
   Addition of various examples. (detail)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 27 min build duration;
• 29 min total from scheduled to completion.