Merge pull request #1360 from AleoHQ/rfc-statuses

[RFC] Update some statuses.
This commit is contained in:
Alessandro Coglio 2021-09-27 12:45:34 -07:00 committed by GitHub
commit eb84e27018
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
5 changed files with 9 additions and 5 deletions

View File

@ -6,7 +6,7 @@ The Aleo Team.
## Status
FINAL
IMPLEMENTED
# Summary

View File

@ -6,7 +6,7 @@ The Aleo Team.
## Status
DRAFT
IMPLEMENTED
# Summary
@ -149,3 +149,7 @@ None.
# Alternatives
None.
# Implementation Decisions
For the length of an array, we decided on `<expression>.len()`, where `<expression>` is any expression of array type.

View File

@ -6,7 +6,7 @@ The Aleo Team.
## Status
DRAFT
IMPLEMENTED
# Summary

View File

@ -6,7 +6,7 @@ The Aleo Team.
## Status
DRAFT
IMPLEMENTED
## Summary

View File

@ -6,7 +6,7 @@ The Aleo Team.
## Status
DRAFT
FINAL
# Summary