2019-12-30 | Richard W.M. Jones | Implement stdlib directory, -I, --no-prelude, etc. | tree | commitdiff |
2019-12-28 | Richard W.M. Jones | Implement tactics. | tree | commitdiff |
2019-12-27 | Richard W.M. Jones | Actually run goal code. | tree | commitdiff |
2019-12-27 | Richard W.M. Jones | Hard code *file tactic. | tree | commitdiff |
2019-12-23 | Richard W.M. Jones | Define *file() syntax for tactic constructors. | tree | commitdiff |
2019-12-23 | Richard W.M. Jones | Basic evaluation. | tree | commitdiff |