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
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 ++ "\"" |