Choral incorporates a large subset of Java (extended to our role parameters for types), but some features are still missing. We plan on introducing them in future releases.
We are still working on writing this section of the documentation. In the meantime, you can check the syntax of Choral in section 4.1 (“Language”) of our article, especially Figure 5.
The following syntax is still not supported by Choral: