Exported names:
- Operations:
- translate
Imported modules:

Module CPP.ICode.Parser.ML.Translate

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 (PM String)

Deterministic

Exported operations:

translate :: String -> Pos -> String -> IO (PM String)