aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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 ma...Gravatar Matej Kosik2015-12-10
* 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 \paragraph{...Gravatar Matej Kosik2015-12-10
* ENH: adding a definition of the concept "_ is an arity".Gravatar Matej Kosik2015-12-10
* TYPOGRAPHYGravatar Matej Kosik2015-12-10
* TYPOGRAPHYGravatar Matej Kosik2015-12-10
* COMMENT: to doGravatar Matej Kosik2015-12-10
* CLEANUP: Presentation of examples was changed to make them more comprehensible.Gravatar Matej Kosik2015-12-10
* SILENT: s/coq_example/coq_example*/Gravatar Matej Kosik2015-12-10
* QUESTION: Cannot we simplify the presentation of "Ind" and "Constr" typing ru...Gravatar Matej Kosik2015-12-10
* ENH: The beginning of Section 4.5 (Inductive declarations) was changed in ord...Gravatar Matej Kosik2015-12-10
* ENH: the concept of 'inductive declaration' was added to the 'Global Index'Gravatar Matej Kosik2015-12-10
* ENH: a small remark about Prod1 and Prod2 typing-rules was addedGravatar Matej Kosik2015-12-10
* CLEANUP: the explanation of why eta-reduction is a bad idea was rephrasedGravatar Matej Kosik2015-12-10
* GRAMMARGravatar Matej Kosik2015-12-10
* TYPOGRAPHY: getting rid of an extra spaceGravatar Matej Kosik2015-12-10
* COMMENT: questionGravatar Matej Kosik2015-12-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-27 15:40:00 +0000