From 4c502ff4377b323002974fc089db62d27489f527 Mon Sep 17 00:00:00 2001 From: Johanna Stuber Date: Thu, 18 Feb 2021 17:47:50 +0100 Subject: [PATCH] 'English', 'Deutsch' --- src/main/resources/language/general.properties | 18 +++++++++++++----- .../language/translation_de.properties | 2 -- .../language/translation_en.properties | 2 -- 3 files changed, 13 insertions(+), 9 deletions(-) diff --git a/src/main/resources/language/general.properties b/src/main/resources/language/general.properties index d374ab5..354c1c2 100644 --- a/src/main/resources/language/general.properties +++ b/src/main/resources/language/general.properties @@ -1,10 +1,18 @@ -root.lambda=\u03BB root.typicalc=Typicalc +root.german=Deutsch +root.english=English +root.lambda=\u03BB root.examplebutton=\uD83D\uDCC2 -root.exampleTerms=\u03BBx.x,\u03BBx.\u03BBy.y x,\u03BBx.\u03BBy.y (x x),let f = \u03BBx. g y y in f 3,\ -let k = \u03BBx.\u03BBy. x in k a (k b c),(\u03BBx.x x) (\u03BBx.x x),\ -(\u03BBx.\u03BBy.y (x y)) (\u03BBz. \u03BBa. z g a),let f = \u03BBx. let g = \u03BBy. y in g x in f 3,\ -let f = \u03BBx. let g = \u03BBy.5 5 in g x in f 3 +root.exampleTerms=\ + \u03BBx.x,\ + \u03BBx.\u03BBy.y x,\ + \u03BBx.\u03BBy.y (x x),\ + let f = \u03BBx. g y y in f 3,\ + let k = \u03BBx.\u03BBy. x in k a (k b c),\ + (\u03BBx.x x) (\u03BBx.x x),\ + (\u03BBx.\u03BBy.y (x y)) (\u03BBz. \u03BBa. z g a),\ + let f = \u03BBx. let g = \u03BBy. y in g x in f 3,\ + let f = \u03BBx. let g = \u03BBy.5 5 in g x in f 3 root.termGrammar=\u2329Term\u232A ::= (\u2329Term\u232A) | \u2329App\u232A | \u2329Abs\u232A | \ \u2329Let\u232A | \u2329Var\u232A | \u2329Const\u232A
\ \u2329App\u232A ::= \u2329Term\u232A \u2329Term\u232A
\ diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index d52ebf2..de21e84 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -13,8 +13,6 @@ root.constRule=Const-Regel root.letRule=Let-Regel root.absRuleLet=Abs-Regel mit Let root.varRuleLet=Var-Regel mit Let -root.german=Deutsch -root.english=Englisch root.selectLanguage=Sprache root.termExplanation=Die folgende Grammatik beschreibt den Aufbau eines gültigen Terms: root.assExplanation=Die folgende Grammatik beschreibt die Syntax eines gültigen Typs: diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index d94e864..480637b 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -13,8 +13,6 @@ root.constRule=Const rule root.letRule=Let rule root.absRuleLet=Abs rule with Let root.varRuleLet=Var rule with Let -root.german=German -root.english=English root.selectLanguage=Language root.termExplanation=The following grammar specifies the structure of a valid term: root.assExplanation=The following grammar specifies the syntax of a valid type: