From 3110aa8bc0fdf792ad1385e8f2b4a5d8f5d52239 Mon Sep 17 00:00:00 2001 From: Moritz Dieing <63721811+moritzdieing@users.noreply.github.com> Date: Sat, 13 Mar 2021 14:47:20 +0100 Subject: [PATCH] tokentype english translation --- .../resources/language/translation_en.properties | 15 +++++++++++++++ 1 file changed, 15 insertions(+) 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.