Installing the PGF run-time library → Example 2: a question-answering system

Abstract syntax in GF

abstract Arithmetic = {
    
flags startcat=Question ;

cat Answer; Object; Question;

fun Even, Odd, Prime : Object -> Question;
    Number : Int -> Object;

    Yes, No : Answer;
}