Rhema: an attribute-grammar language for generating mathematics questions

Rhema is the question-grammar language of the RHM project. A .rhm file describes a question type as an attribute grammar whose inherited budgets set the difficulty and whose synthesized attributes compute the answer, or a whole assignment as a set of such questions. The rhema command checks a file and generates WeBWorK PG, the same paper every time for the same assignment. The package installs the command and a library of grammars for arithmetic, algebra, calculus, propositional logic, sets, vectors, complex numbers and linear algebra.