factor/extra/tools
John Benediktsson de9094b8d5 tools.which: add a convenience for "which or". 2015-06-01 09:11:19 -07:00
..
cat tools.cat: adding "cat" tool. 2015-04-01 14:26:22 -07:00
copy tools.copy: adding "copy" tool. 2015-04-01 14:30:49 -07:00
dns tools.dns: enable use from command-line. 2015-04-01 14:18:31 -07:00
echo tools.echo: adding "echo" tool. 2015-04-01 14:51:32 -07:00
gc-decode use assoc-reject instead of [ ... not ] assoc-filter. 2015-05-12 19:08:42 -07:00
grep tools.grep: adding "grep" tool. 2015-04-01 14:41:41 -07:00
move tools.move: adding "move" tool. 2015-04-01 14:31:02 -07:00
seq tools.seq: adding "seq" tool. 2015-04-01 14:37:00 -07:00
time/struct VM: new primitive (callback-room) for querying the VM about memory usage 2014-09-29 07:30:21 -07:00
tree tools.tree: adding "tree" tool. 2015-04-01 14:37:39 -07:00
uniq tools.uniq: adding "uniq" tool. 2015-04-01 14:37:53 -07:00
which tools.which: add a convenience for "which or". 2015-06-01 09:11:19 -07:00