ghci: update

ademidov · Aug 25, 2013 · 57d881a · 57d881a
1 parent 913a671
commit 57d881a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ghci b/ghci
@@ -1,6 +1,6 @@
 :set prompt "\ESC[32mλ> \ESC[m"
 :set editor vim
 
-:def hoogle \x -> return $ ":!hoogle --color \"" ++ x ++ "\""
+:def hoogle \x -> return $ ":!hoogle --color --count 15 \"" ++ x ++ "\""
 :def doc \x -> return $ ":!hoogle --info --color \"" ++ x ++ "\""
-:def pl \s -> return $ ":! pointfree \"" ++ s ++ "\""
+:def pf \s -> return $ ":! pointfree \"" ++ s ++ "\""