.ghci added