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

Link to the repository

Browse Source
This commit is contained in:
Arne Keller 2021-03-31 15:01:01 +02:00
parent bdbc53efbc
commit 94c70ea864
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/resources/language/translation_de.properties
View File

@ -88,7 +88,7 @@ root.helpInferenceViewFeatures=Wurde ein Term erfolgreich typisiert, werden der
abgebrochen. Mit \u03C3 wird am Ende der allgemeinste Unifikator angegeben, mit \u03C3(\u03B1\u2081) der \
finale Typ des Terms.
help.typicalcInfo=\
Typicalc wurde als PSE-Projekt am KIT im WS20/21 entwickelt von<br>\
<a href="https://git.scc.kit.edu/pse-typinferenz/typicalc">Typicalc</a> wurde als PSE-Projekt am KIT im WS20/21 entwickelt von<br>\
Robin Böhne<br>\
Moritz Dieing<br>\
Thomas Heinen<br>\

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

@ -81,7 +81,7 @@ root.helpInferenceViewFeatures=When a term is successfully type inferred, the in
steps in the tree are shown. If such a sub-unification or the outermost unification fails, the whole algorithm is \
cancelled. At the end, the most general unifier is displayed as \u03C3 and the final type as \u03C3(\u03B1\u2081).
help.typicalcInfo=\
Typicalc was developed as a PSE project at the KIT in WS20/21 by<br>\
<a href="https://git.scc.kit.edu/pse-typinferenz/typicalc">Typicalc</a> was developed as a PSE project at the KIT in WS20/21 by<br>\
Robin Böhne<br>\
Moritz Dieing<br>\
Thomas Heinen<br>\