Grammatical Framework Notes

Last Updated on

translation_quiz = tq: generate random sentences, display them in one language, and check the user’s answer given in another language.

    > translation_quiz -from=FoodEng -to=FoodIta

Operations

Functions in concrete syntax are defined using the keyword oper (for operation), distinct from fun for the sake of clarity.

Lämna ett svar