Source
Contents
Index

hermit-0.1.8.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe Haskell	None

Language.HERMIT.ParserCore

Documentation

parseCore :: CoreString -> HermitC -> HermitM CoreExpr Source

Produced by Haddock version 2.13.2