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

Ulf Norell 247bc3efa0 [ fix #5781 ] add --profile flag instead of abusing -v for profiling options		2 yıl önce
..
Makefile	247bc3efa0 [ fix #5781 ] add --profile flag instead of abusing -v for profiling options	2 yıl önce
QuadraticImportOneData.hs	5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks	4 yıl önce
QuadraticImportOneDataHaskell.hs	5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks	4 yıl önce
QuadraticImportOneDataNoUsing.hs	5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks	4 yıl önce
README.md	5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks	4 yıl önce

		
				README.md
			
				Tools to create benchmarks