aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
* CLEANUP: removing a superfluous indexGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* GRAMMARGravatar Matej Kosik2015-12-10
|
* COMMENT: noteGravatar Matej Kosik2015-12-10
|
* TYPOGRAPHYGravatar Matej Kosik2015-12-10
|
* CLEANUP: originally, we talked about "B" as an "arity"Gravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* ENH: a forward reference to a place where the concept of "allowed ↵Gravatar Matej Kosik2015-12-10
| | | | elimination sorts" is actually used
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* CLEANUP: unnecessaryGravatar Matej Kosik2015-12-10
|
* GRAMMARGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* ENH: improving precisionGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* FIX: "u_p" was not definedGravatar Matej Kosik2015-12-10
|
* CLEANUP: removing duplicate paragraphGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* COMMENT: questions and to doGravatar Matej Kosik2015-12-10
|
* FIX: removing references to Γ which is not defined in a given contextGravatar Matej Kosik2015-12-10
|
* TYPESETTINGGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* GRAMMARGravatar Matej Kosik2015-12-10
|
* CLEANUP PROPOSITION: superfluous parentheses were removedGravatar Matej Kosik2015-12-10
|
* CLEANUP PROPOSITION: s/local context of parameters/context of parametersGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* COMMENT: questionsGravatar Matej Kosik2015-12-10
|
* COMMENT: to doGravatar Matej Kosik2015-12-10
|
* COMMENT: to doGravatar Matej Kosik2015-12-10
|
* FIX: removing a reference to \Gamma, because it is undefinedGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* FIX: making sure that my previous edits do not break HTML generationGravatar Matej Kosik2015-12-10
|
* COMMENT: questionsGravatar Matej Kosik2015-12-10
|
* ENH: examples for 'strict positivity' were expandedGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* CLEANUP: s/List_A/List~A/gGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* CLEANUP: the definition of "type of constructor" was rephrased in order to ↵Gravatar Matej Kosik2015-12-10
| | | | make it more clear
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* COMMENT: questionGravatar Matej Kosik2015-12-10
|
* COMMENT: to doGravatar Matej Kosik2015-12-10
|
* FIX: commit 315f771Gravatar Matej Kosik2015-12-10
|
* CLEANUP: superfluous examples were removedGravatar Matej Kosik2015-12-10
|
* ENH: new example: "even"Gravatar Matej Kosik2015-12-10
|
* ALPHA-CONVERSION: s/Length/has_length/gGravatar Matej Kosik2015-12-10
|
* ENH: examplesGravatar Matej Kosik2015-12-10
|
* TYPOGRAPHY: Examples of "arity" concept(s) were put to a separate ↵Gravatar Matej Kosik2015-12-10
| | | | \paragraph{...}
* ENH: adding a definition of the concept "_ is an arity".Gravatar Matej Kosik2015-12-10
| | | | | | | | | | | | 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.