SpecTec Documentation

On the use of the language:

• Overview
• Command Usage
• Language Reference
• Splicing
• Latex Backend
• Prose Backend
• Interpreter Backend
• Assumptions

On the internal representations usable by backends:

• External Language (TBD)
• Internal Language