lol-typing-1.20160822: uuagc_options

file : "Language/LOL/Typing/Expr/Grammar.ag"
options : data, haskellsyntax, rename

file : "Language/LOL/Typing/Expr/Calculus.ag"
options : catas, haskellsyntax, pretty, rename, semfuns, signatures, wrappers

file : "Language/LOL/Typing/Collect/Grammar.ag"
options : catas, haskellsyntax, pretty, rename, semfuns, signatures, wrappers