file    : "src/Type.ag"
options : data, rename, strictdata

file    : "src/Error.ag"
options : data, rename, signatures, strictdata, strictwrap, catas, semfuns, optimize

file    : "src/Front.ag"
options : data, rename, strictdata

file    : "src/PrettyFront.ag"
options : rename, signatures, strictwrap, catas, semfuns, optimize

file    : "src/Flat.ag"
options : data, rename, strictdata

file    : "src/Flatten.ag"
options : rename, signatures, strictwrap, catas, semfuns

file    : "src/PrettyFlat.ag"
options : rename, signatures, strictwrap, catas, semfuns, optimize

file    : "src/Simple.ag"
options : data, rename, strictdata

file    : "src/PrettySimple.ag"
options : rename, signatures, strictwrap, catas, semfuns, optimize

file    : "src/Desugar.ag"
options : rename, signatures, strictwrap, catas, semfuns