--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/benchmarks/README Wed Nov 02 20:35:32 2016 +0100 @@ -0,0 +1,2 @@ +run with: + stx -I -V --load CollectionBenchmarks.st --run CollectionBenchmarks