HomeIsabelle/Phabricator

Fix size of closures so that the "length" is the number of items rather than…

Description

Fix size of closures so that the "length" is the number of items rather than the number of words.

Details

Provenance
dcjmAuthored on Oct 24 2020, 12:48 PM
Parents
rPOLYML53f776c48f01: Adjust some of the project settings.
Branches
Unknown
Tags
Unknown