From 3b5d4cf924e218dddf90a1bf1b36e50a1bc4e3ba Mon Sep 17 00:00:00 2001
From: Johanna Stuber <johanna.stuber@gmx.net>
Date: Wed, 10 Feb 2021 11:59:00 +0100
Subject: [PATCH] correct type grammar

---
 src/main/resources/language/general.properties | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/main/resources/language/general.properties b/src/main/resources/language/general.properties
index 6b75e4b..dd539cf 100644
--- a/src/main/resources/language/general.properties
+++ b/src/main/resources/language/general.properties
@@ -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}\