This commit is contained in:
Eric McCarthy 2021-09-27 11:58:06 -07:00 committed by GitHub
parent 322aaee280
commit 547b714d82
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -152,4 +152,4 @@ None.
# Implementation Decisions
For the length of an array, we decided on `<expression>.len`, where `<expression>` is any expression of array type.
For the length of an array, we decided on `<expression>.len()`, where `<expression>` is any expression of array type.