Exported names:
- Operations:
- translate
Imported modules:
- Prelude
- ParseError
- ParseTypes
- MLParser
- MLTypes
- Data.List

Module MLTranslate

Function to translate Markup Language strings into Curry code strings.

Author: Max Deppert, Michael Hanus

Version: February 2015

Summary of exported operations:

translate
                  ::  String -> Pos -> String -> IO (WM (PR String))

Deterministic

Exported operations:

translate :: String -> Pos -> String -> IO (WM (PR String))