On 21/10/21 01:23 +0100, Jonathan Wakely wrote:
The constraints on transform and and_then can cause errors when checking satisfaction. The constraints that were present in R6 of the paper were moved for he final F8 revision, and so should have been included in the
Bah, I meant "removed for the final R8 revision, and so should not have been included ..."
implementation.
