Add config ghci

Enecuum · Jul 22, 2018 · a763d51 · a763d51
1 parent edbb77c
commit a763d51
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.ghci b/.ghci
@@ -0,0 +1 @@
+:set prompt "λ> "