RFC Function Contracts (#2620)

Co-authored-by: Celina G. Val <celinval@amazon.com> Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
model-checking · Aug 25, 2023 · 62142e4 · 62142e4
1 parent 8ccdea4
commit 62142e4
Show file tree

Hide file tree

Showing 2 changed files with 902 additions and 0 deletions.
diff --git a/rfc/src/SUMMARY.md b/rfc/src/SUMMARY.md
@@ -14,3 +14,4 @@
 - [0006-unstable-api](rfcs/0006-unstable-api.md)
 - [0007-global-conditions](rfcs/0007-global-conditions.md)
 - [0008-line-coverage](rfcs/0008-line-coverage.md)
+- [0009-function-contracts](rfcs/0009-function-contracts.md)