Updated readme for ghci calls