Summary
This document describes the final version of the EVEREST language requirements based on revisiting the application use cases, starting halfway through the project schedule (M18) and with insights from the initial language development phase.
More information & hyperlinks