caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd

ulfn fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)		13 yıl önce
..
ac1	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 yıl önce
ac2	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 yıl önce
ac3	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 yıl önce
cat	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 yıl önce
cwf	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 yıl önce
monad	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 yıl önce
syntax1	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 yıl önce
syntax2	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 yıl önce