hermit-0.2.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Language.HERMIT.ParserCore
parseCore :: CoreString -> HermitC -> HermitM CoreExprSource