Appendix A. Gappa language

Table of Contents

Comments and embedded options
Tokens and operator priority
Grammar
Logical formulas
Undecidability
Expressiveness