Added structure to Arrays chapter. Rewrote some of the explanations. #39
MatteP1Annotations
11 warnings
|
build (8.19.2, 4.14.2-flambda)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L78
Ignoring canonical projection to discrete_ofe_mixin by ofe_mixin in
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L78
Ignoring canonical projection to discrete_dist by ofe_dist in
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L136
Ignoring canonical projection to discrete_cmra_mixin by cmra_mixin
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L136
Ignoring canonical projection to discrete_ofe_mixin by
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L136
Ignoring canonical projection to discrete_validN_instance by
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L136
Ignoring canonical projection to discrete_dist by cmra_dist in
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L145
Ignoring canonical projection to discrete_ofe_mixin by ofe_mixin in
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L145
Ignoring canonical projection to discrete_dist by ofe_dist in
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L145
Ignoring canonical projection to discrete_cmra_mixin by cmra_mixin
|
|
build (8.19.2, 4.14.2-flambda):
theories/custom_ra.v#L145
Ignoring canonical projection to discrete_ofe_mixin by
|