all: remove tmux; ghci: remove lambda prompt

2018-02-06 12:13:37 +01:00
parent e98c23471b
commit f5c392b9aa
5 changed files with 1 additions and 57 deletions
--- a/2
+++ b/2
@@ -1,5 +1,3 @@
-:set prompt "λ > "
-:set prompt2 "λ² > "
 {- :set -Wall -}
 :set +m