| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
make it more clear
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\paragraph{...}
|
|
There already exists a definition of the following concept:
"_ is an arity of sort _"
I was not 100% sure what the following concept (used later in the text) means:
"_ is an arity"
so I added this (simple) definition in order to avoid possible confusion.
|
|
|
|
|
|
|
|
|
|
|
|
rules like this?
|
|
order to make it more concrete and more comprehensible.
This ver
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
further in the text
|
|
These notions:
- local assumption
- local definition
- global assumption
- global definition
are now indexed.
|
|
place.
|
|
If, below, we speak about 'global declarations',
here it makes sense to speak about 'local declaration'.
|
|
semantics of the language
|
|
chapter. That kind of information is more appropriate for Section 1.2.
|
|
emphasized
|
|
|
|
|
