stdlib: Improve performance of fedora.gl.
[goals.git] / tests /
2020-01-12 Richard W.M. Jonesstdlib: Implement split() function.
2020-01-12 Richard W.M. Jonesstdlib: Implement last() and nth() functions.
2020-01-12 Richard W.M. Jonesstdlib: Implement filter() and filter-out() functions.
2020-01-12 Richard W.M. Jonestests: Don't suppress stderr in some tests.
2020-01-12 Richard W.M. Jonesstdlib: Implement error() function.
2020-01-12 Richard W.M. Jonesstdlib: Implement read() and readlines() functions.
2020-01-12 Richard W.M. Jonesstdlib: Implement head() and tail() functions.
2020-01-12 Richard W.M. Jonesstdlib: Implement realpath() function.
2020-01-12 Richard W.M. Jonesstdlib: Implement join() function.
2020-01-12 Richard W.M. Jonesstdlib: Implement dirname(), basename() and extension...
2020-01-12 Richard W.M. Jonesstdlib: Implement subst function.
2020-01-12 Richard W.M. Jonestests: Add test of the wildcard function.
2020-01-12 Richard W.M. Jonescmdline: Implement -s (--silent or --quiet) option.
2020-01-12 Richard W.M. Jonestests: Add test of the sort function.
2020-01-12 Richard W.M. Jonestests: Add a basic test of dependencies.
2020-01-12 Richard W.M. Jonestests: Consistency.
2020-01-11 Richard W.M. Jonestests: More basic tests.
2020-01-10 Richard W.M. Jonestests: Add basic tests.
2020-01-10 Richard W.M. JonesSplit implementation into dependency analysis and trave...
2019-12-30 Richard W.M. JonesImplement stdlib directory, -I, --no-prelude, etc.
2019-12-28 Richard W.M. JonesImplement tactics.
2019-12-27 Richard W.M. JonesActually run goal code.
2019-12-27 Richard W.M. JonesHard code *file tactic.
2019-12-23 Richard W.M. JonesDefine *file() syntax for tactic constructors.
2019-12-23 Richard W.M. JonesBasic evaluation.