Customizable Parsing Test Repository

Module

ExampleConverter

This module defines and expoerts one object, called converter, which is a Converter instance that includes all of the built-in concepts of this repository, together with the standard LaTeX notation for each, plus natural putdown notation for each as well. This module is used extensively in the test suite for this repository to ensure that a complex concept hierarchy with multiple languages defined on it is feasible.

Source

Members