caryoscelus/agda

Аутор	SHA1 Порука	Датум
Ulf Norell	247bc3efa0 [ fix #5781 ] add --profile flag instead of abusing -v for profiling options	пре 2 година
Robert Estelle	d7c46fa201 make: Factor out $(GHC) and $(RUNGHC) commands	пре 4 година
Robert Estelle	c00402433d make: Consistently use runghc instead of runhaskell	пре 4 година
Robert Estelle	4ceb342310 make: Use AGDA_BIN a little more consistently	пре 4 година
Andreas Abel	5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks	пре 4 година