Some of the E family of languages -- the E language, Kernel-E, and TermL -- delegate aspects of their specifications to other specifications, such as the following pages. These pages have a bottom-up organization typical of syntax specs:
|
|||||||||||||
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
|