Simplify Constructor -> Ctor.
[goals.git] / src / run.ml
2020-01-03 Richard W.M. JonesSimplify Constructor -> Ctor.
2020-01-03 Richard W.M. JonesRename Eval -> Run, split out some Ast functions into...