-
Aaron Tomb authored
This patch updates the External Core creator, pretty-printer, and parser to agree on a concrete syntax for External Core, including the constructs required by the change to System FC. Code to create valid ASTs from External Core files will come later, as will bits for renaming, typechecking, and desugaring.
de777ba4