17 Jun
2010
17 Jun
'10
10:17 a.m.
On Thu, Jun 17, 2010 at 3:38 PM, Henning Thielemann
On Wed, 16 Jun 2010, Marc Weber wrote:
Hi Aditya Siram,
- maybe shell scripting: running ghci takes longer than starting bash. Compiling is not always an option because executables are bigger than shell scripts or C executables
Is Hugs better in this respect?
Or JHC ? JHC's executables are small. David.