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

Robert Estelle d7c46fa201 make: Factor out $(GHC) and $(RUNGHC) commands		4 lat temu
..
Makefile	d7c46fa201 make: Factor out $(GHC) and $(RUNGHC) commands	4 lat temu
QuadraticImportOneData.hs	5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks	5 lat temu
QuadraticImportOneDataHaskell.hs	5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks	5 lat temu
QuadraticImportOneDataNoUsing.hs	5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks	5 lat temu
README.md	5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks	5 lat temu

		
				README.md
			
				Tools to create benchmarks