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.
Description
Description
Details
Details
- Provenance
Simon Foster <simon.foster@york.ac.uk> Authored on - Parents
- rAFPeb0cc2599588: adjustments for Word_Lib updates
- Branches
- Unknown
- Tags