diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index 2779fb8..867769e 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -95,6 +95,21 @@ root.UNEXPECTED_CHARACTER=The input contains a character which is not allowed at error.heading=Input is syntactically wrong! root.wrongCharacter=Wrong character: \u0020 root.position=At Position: \u0020 +error.expectedToken=Expected: {0} +tokentype.LAMBDA=λ +tokentype.VARIABLE=Variable +tokentype.LET=let +tokentype.IN=in +tokentype.TRUE=true +tokentype.FALSE=false +tokentype.NUMBER=Number +tokentype.LEFT_PARENTHESIS=( +tokentype.RIGHT_PARENTHESIS=) +tokentype.DOT=. +tokentype.EQUALS== +tokentype.ARROW=-> +tokentype.EOF=End of input +root.or=or root.slideExp=Typicalc is an application for the visualisation of type inference. The slideshow below the text \ demonstrates the most important features of the website. In each slide the relevant operating element is surrounded \ by a red border. The buttons at the bottom of the website can be used to navigate through the slides.