
5 Jun
2006
5 Jun
'06
1:43 p.m.
Hi, Is there a way to source a file in ghci? I have a series of initialization commands which I would like to run every time I do a certain set of experiments, and I've put them in a file. Is it best just to copy and paste the file into ghci? Frederik -- http://ofb.net/~frederik/