goals.git
2019-12-28 Richard W.M... Remove Ast.PVar.
2019-12-28 Richard W.M... Run code with set -e / set -x.
2019-12-27 Richard W.M... Actually run goal code.
2019-12-27 Richard W.M... Add implicit tactic rebuild.
2019-12-27 Richard W.M... Substitute %<, %@ etc variables into code.
2019-12-27 Richard W.M... Add Ast.to_shell_script.
2019-12-27 Richard W.M... Hard code *file tactic.
2019-12-27 Richard W.M... Implement tactic matching.
2019-12-27 Richard W.M... todo: Note default parameters.
2019-12-26 Richard W.M... Factor out param_decl and improvements to AST printing.
2019-12-25 Richard W.M... Refactor evaluation.
2019-12-25 Richard W.M... Fix file() -> *file() in comment about tactics.
2019-12-25 Richard W.M... Rename Ast.StringMap -> Ast.Env
2019-12-23 Richard W.M... Begin converting Ast print functions so they can be...
2019-12-23 Richard W.M... Send debug message to stderr.
2019-12-23 Richard W.M... Print errors (Failure exceptions) nicely.
2019-12-23 Richard W.M... Define *file() syntax for tactic constructors.
2019-12-23 Richard W.M... Attach parser location information to AST nodes.
2019-12-23 Richard W.M... Basic evaluation.
2019-12-23 Richard W.M... Implement -C / --directory option.
2019-12-23 Richard W.M... Add environment to store variables and goals.
2019-12-22 Richard W.M... Command line parsing of anon args.
2019-12-22 Richard W.M... Expose parsing of expressions from command line.
2019-12-21 Richard W.M... Continue command line parsing.
2019-12-21 Richard W.M... Rename parsing/ to src/
2019-12-21 Richard W.M... Initial commit of parser.