package rhema

  1. Overview
  2. No Docs
Rhema: an attribute-grammar language for generating mathematics questions

Install

dune-project
 Dependency

Authors

Maintainers

Sources

rhema-0.1.1.tar.gz
sha256=6e160bca2a616f9cf4d949f2295c9fbbd320032fda8bb15f3a39bc5d7663186d
sha512=3d78ea52960eaa86078b8d65afaf0a0817ed515c4abbd44839ea9287000aa14b75a86f09bd4d0f4c7c9f015fe25d13f51aeacef1cd9f658f421e2291a4f67316

Description

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.

Dependencies (3)

  1. menhir >= "20201216"
  2. ocaml >= "4.14"
  3. dune >= "3.6"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None