mirror of
https://gitlab.kit.edu/uskyk/typicalc.git
synced 2024-11-08 18:30:42 +00:00
'English', 'Deutsch'
This commit is contained in:
parent
cf97417299
commit
4c502ff437
@ -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 <br> \
|
||||
\u2329App\u232A ::= \u2329Term\u232A \u2329Term\u232A <br> \
|
||||
|
@ -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:
|
||||
|
@ -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:
|
||||
|
Loading…
Reference in New Issue
Block a user