Add .ghci
9431ca8dce74010cd96c87bcb300656c8bea3302
1 parent
ff57455f
.ghci
added
+3 -0
| 1 | + | :set prompt "λ " |
|
| 2 | + | :set +m |
|
| 3 | + | :set prompt2 "| " |
Add .ghci
9431ca8dce74010cd96c87bcb300656c8bea3302
ff57455f
| 1 | + | :set prompt "λ " |
|
| 2 | + | :set +m |
|
| 3 | + | :set prompt2 "| " |