Package-level declarations
Types
Link copied to clipboard
Represents a language and offers key-bases translations with optional arguments. Because the parser was supposed to remain largely untouched, I (Jan Müller) did not move the parser-translations to the web-frontend, as I did with all other translations.
Link copied to clipboard
Result that either contains a parsed FormulaHead or a translated error message.