mirror of
https://gitlab.kit.edu/uskyk/typicalc.git
synced 2024-11-09 10:50:42 +00:00
Fix typo in translation
This commit is contained in:
parent
26b2bd9f00
commit
978ccb034c
@ -186,7 +186,7 @@ root.absLetLatex=\
|
|||||||
\\end{prooftree}
|
\\end{prooftree}
|
||||||
|
|
||||||
root.infinite_type = Der eingegebene Term ist nicht typisierbar: \
|
root.infinite_type = Der eingegebene Term ist nicht typisierbar: \
|
||||||
Durch den hervorgehobenen} Constraint würde sich ein unendlicher Typ ergeben!
|
Durch den hervorgehobenen Constraint würde sich ein unendlicher Typ ergeben!
|
||||||
root.different_types = Der eingegebene Term ist nicht typisierbar: \
|
root.different_types = Der eingegebene Term ist nicht typisierbar: \
|
||||||
In dem hervorgehobenen Constraint werden zwei unvereinbare Typen gleichgesetzt!
|
In dem hervorgehobenen Constraint werden zwei unvereinbare Typen gleichgesetzt!
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user