arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

correct type grammar

Browse Source
This commit is contained in:
Johanna Stuber 2021-02-10 11:59:00 +01:00
parent 7c11df9058
commit 3b5d4cf924
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/main/resources/language/general.properties
View File

@ -2,7 +2,7 @@ root.domain=http://localhost:8080/
root.lambda=\u03BB
root.typicalc=Typicalc
root.examplebutton=\uD83D\uDCC2
root.termGrammar=\u2329Term\u232A ::= \u2329App\u232A | \u2329Abs\u232A | (\u2329Term\u232A) | \
root.termGrammar=\u2329Term\u232A ::= (\u2329Term\u232A) | \u2329App\u232A | \u2329Abs\u232A | \
\u2329Let\u232A | \u2329Var\u232A | \u2329Const\u232A <br> \
\u2329App\u232A ::= \u2329Term\u232A \u2329Term\u232A <br> \
\u2329Abs\u232A ::= \u03BB\u2329Var\u232A.\u2329Term\u232A <br> \
@ -10,10 +10,11 @@ root.termGrammar=\u2329Term\u232A ::= \u2329App\u232A | \u2329Abs\u232A | (\u232
\u2329Var\u232A ::= [a-zA-Z][a-zA-Z0-9]* <br> \
\u2329Const\u232A ::= [0-9]+ | true | false
root.assGrammar=\u2329Type\u232A ::= \u2329NamedType\u232A | \u2329FunctionType\u232A | \
(\u2329Type\u232A) <br> \
\u2329FunctionType\u232A ::= \u2329Type\u232A -> \u2329Type\u232A <br> \
\u2329NamedType\u232A ::= [a-zA-Z\u03B1-\u03C9A-\u2126][a-zA-Z\u03B1-\u03C9A-\u21260-9]*
root.assGrammar=\u2329Type\u232A ::= (\u2329Type\u232A) | \u2329NamedType\u232A | \u2329VarType\u232A | \
\u2329FunctionType\u232A <br> \
\u2329NamedType\u232A ::= [a-zA-Z][a-zA-Z0-9]* <br> \
\u2329VarType\u232A ::= t[0-9]+ <br> \
\u2329FunctionType\u232A ::= \u2329Type\u232A -> \u2329Type\u232A
root.appLatex=\
\\begin{prooftree}\