Agda-2.3.2.2: benchmark/logs/20081201-12.55-ulf-norells-macbook-pro/README

Try syntactic equality first in conversion checking