add .ghci