You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

17 lines
291 B
Plaintext

11 years ago
import Control.Applicative
import Control.Monad
import Data.String
import Data.Char
import Data.List
import Data.Monoid
:set -XDataKinds
:set -XGADTs
:set -XKindSignatures
11 years ago
:set prompt "λ: "
:set -fno-warn-unused-imports
:def hoogle \s -> return $ ":! hoogle --count=15 \"" ++ s ++ "\""