 Ulf Norell
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
%!s(int64=3) %!d(string=hai) anos |
 Robert Estelle
|
d7c46fa201
make: Factor out $(GHC) and $(RUNGHC) commands
|
%!s(int64=4) %!d(string=hai) anos |
|
Robert Estelle
|
c00402433d
make: Consistently use runghc instead of runhaskell
|
%!s(int64=4) %!d(string=hai) anos |
|
Robert Estelle
|
4ceb342310
make: Use AGDA_BIN a little more consistently
|
%!s(int64=4) %!d(string=hai) anos |
 Andreas Abel
|
5ffa225f33
[ benchmark ] Haskell scripts to create import benchmarks
|
%!s(int64=5) %!d(string=hai) anos |
