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
337 B
Plaintext

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