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

tokentype english translation

Browse Source
This commit is contained in:
Moritz Dieing 2021-03-13 14:47:20 +01:00
parent 3dd79320be
commit 3110aa8bc0
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/main/resources/language/translation_en.properties
View File

@ -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.