cccatt index

Library cccatt

This library exposes the following toplevel modules:

• Common Commonly used functions.
• Extlib Our own extension of the standard library.
• Lang The CCaTT language.
• Lexer
• Parser
• Pasting Check for pasting schemes.
• Prover Prover.
• Setting Global settings.
• Term Terms of our language.