vampire-0.1.2.0: data/vampire-repl
import Debug.Vampire :def vview maybe (putStrLn "could not parse input" >> return "") return . wrapExp "viewExpr" :def veval maybe (putStrLn "could not parse input" >> return "") return . wrapExp "valueFor"
import Debug.Vampire :def vview maybe (putStrLn "could not parse input" >> return "") return . wrapExp "viewExpr" :def veval maybe (putStrLn "could not parse input" >> return "") return . wrapExp "valueFor"