Cryptol.Parser.Unlit

Convert a literate source file into an ordinary source file.

Documentation

unLit :: PreProc -> Text -> Text

data PreProc

Constructors

None

Markdown

LaTeX

guessPreProc :: FilePath -> PreProc

knownExts :: [String]