Safe Haskell | None |
---|
Documentation
mangleAnswer :: Symbolic a => a -> NameM aSource
extractAnswer :: Symbolic a => a -> String -> Either Answer [Term]Source
Safe Haskell | None |
---|
mangleAnswer :: Symbolic a => a -> NameM aSource
extractAnswer :: Symbolic a => a -> String -> Either Answer [Term]Source