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

ulfn fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)		13 år sedan
..
README	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 år sedan
ac1	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 år sedan
ac2	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 år sedan
ac3	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 år sedan
cat	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 år sedan
syntax1	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 år sedan
syntax2	fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run)	13 år sedan

		
				README
			
				Makotos SerialiseShare