{
    $       =  [ \n\t\r]*             ;

    URL     =  \"[\"]+\"              ;
    V       =  [a-zA-Z_][a-zA-Z0-9_]* ;

    L.con   :  cfg                    ;
    L.var   :  V                      ;
    L.res   :  L "\\" L               ;
    L.add   :  L "+" L                ;
    L.src   :  "src" "(" X ")"        ;
    L.tgt   :  "tgt" "(" X ")"        ;
    L.let   :  "let" V "=" L "in" L   ;
    L.letx  :  "letx" V "=" X "in" L  ;
    L.inc   :  URL                    ;

    X.con   :  "(|" L "->" L "[" tau "]" cata "|)"  ;
    X.var   :  V                                    ;
    X.res   :  X "\\" L                             ;
    X.add   :  X "+" X                              ;
    X.comp  :  X "o" X                              ;
    X.idx   :  "idx" "(" L ")"                      ;
    X.let   :  "let" V "=" L "in" X                 ;
    X.letx  :  "letx" V "=" X "in" X                ;
    X.inc   :  URL                                  ;
}
+ "tau.l"