Agda-2.3.2.2: benchmark/logs/20081126-15.26-ulf-norells-macbook-pro/README

Added negative edges for arguments that are pattern matched on
or appear as dot patterns.