cryptol-2.12.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Cryptol.Parser.Unlit

Description

Convert a literate source file into an ordinary source file.

Documentation

data PreProc Source #

Constructors

None 
Markdown 
LaTeX