diff options
| author | Kathy Gray | 2016-03-02 17:04:09 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-03-02 17:04:31 +0000 |
| commit | 9d6875ba4147e3f52b3251bab77e52df03257aa3 (patch) | |
| tree | 9eb0e06cb82527ea7e20a686a307efa973d2be77 /language/manual.pdf | |
| parent | e120d223a007587b1e741b69e0e46bfb4c2ea6c8 (diff) | |
Add new language feature to permit definitions of items of kind Nat, etc as well as items of kind Type.
Syntax for the feature is:
def Nat id = nexp
Note: some useful nexps may not parse properly.
All typedef forms can also be used as def Type ... if desired, but this is not required.
Diffstat (limited to 'language/manual.pdf')
| -rw-r--r-- | language/manual.pdf | bin | 342551 -> 342588 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/language/manual.pdf b/language/manual.pdf Binary files differindex e5a8e457..6dfb546e 100644 --- a/language/manual.pdf +++ b/language/manual.pdf |