build: %version instead of using autoconf @PACKAGE_VERSION@.
[goals.git] / src / parse.ml
2020-01-11 Richard W.M. Jonesparser: Fix longstanding bug where "()" was required...
2020-01-09 Richard W.M. Jonescmdline: Make sure all errors go through main () function.
2020-01-06 Richard W.M. Jonesparser: Fix tracking of beginning of line for error...
2020-01-05 Richard W.M. JonesFunctions return expressions instead of only lists...
2019-12-31 Richard W.M. JonesAdd some more debugging.
2019-12-30 Richard W.M. JonesImplement stdlib directory, -I, --no-prelude, etc.
2019-12-23 Richard W.M. JonesAdd environment to store variables and goals.
2019-12-22 Richard W.M. JonesExpose parsing of expressions from command line.
2019-12-21 Richard W.M. JonesRename parsing/ to src/