git.annexia.org / goals.git / search
| 2019-12-23 | Richard W.M. Jones | Define *file() syntax for tactic constructors. |
commit | commitdiff | tree |
| 2019-12-23 | Richard W.M. Jones | Attach parser location information to AST nodes. |
commit | commitdiff | tree |
| 2019-12-23 | Richard W.M. Jones | Basic evaluation. |
commit | commitdiff | tree |
| 2019-12-23 | Richard W.M. Jones | Implement -C / --directory option. |
commit | commitdiff | tree |
| 2019-12-23 | Richard W.M. Jones | Add environment to store variables and goals. |
commit | commitdiff | tree |
| 2019-12-22 | Richard W.M. Jones | Command line parsing of anon args. |
commit | commitdiff | tree |
| 2019-12-22 | Richard W.M. Jones | Expose parsing of expressions from command line. |
commit | commitdiff | tree |
| 2019-12-21 | Richard W.M. Jones | Continue command line parsing. |
commit | commitdiff | tree |
| 2019-12-21 | Richard W.M. Jones | Rename parsing/ to src/ |
commit | commitdiff | tree |
| 2019-12-21 | Richard W.M. Jones | Initial commit of parser. |
commit | commitdiff | tree |