build: Don't always pass -d to goals.
[goals.git] / src / parse.mli
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/