|
|
@ -5,7 +5,6 @@ import Data.String
|
|
|
|
import Data.Char
|
|
|
|
import Data.Char
|
|
|
|
import Data.List
|
|
|
|
import Data.List
|
|
|
|
import Data.Monoid
|
|
|
|
import Data.Monoid
|
|
|
|
import Control.Monad.IO.Class
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
:set prompt "λ: "
|
|
|
|
:set prompt "λ: "
|
|
|
|
:set -fno-warn-unused-imports
|
|
|
|
:set -fno-warn-unused-imports
|
|
|
|