add :set prompt "λ: " in .ghci