22 Feb
2002
22 Feb
'02
11:38 p.m.
What is the effect of using the "strip" command with the files generated by ghc (besides reducing the file size)? -- Andre