Initial commit of ghci.conf
This commit is contained in:
parent
d7a43660b7
commit
fad8f905d0
1 changed files with 1 additions and 0 deletions
1
.ghc/ghci.conf
Normal file
1
.ghc/ghci.conf
Normal file
|
@ -0,0 +1 @@
|
|||
:set prompt "%s λ: "
|
Loading…
Add table
Reference in a new issue