Sync changes from master

This commit is contained in:
Justin Ethier 2019-05-24 13:36:29 -04:00
parent 1b7abab5b6
commit 0cb7ccb2e7

View file

@ -15,7 +15,7 @@ Section | Status | Comments
3.1 Variables, syntactic keywords, and regions | Yes |
3.2 Disjointness of types | Yes |
3.3 External representations | Yes |
3.4 Storage model | Yes | No immutable types at this time.
3.4 Storage model | Yes |
3.5 Proper tail recursion | Yes |
4.1 Primitive expression types | Yes |
4.2 Derived expression types | Yes |