-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Haskell Equational Reasoning Model-to-Implementation Tunnel
--   
--   HERMIT uses Haskell to express semi-formal models, efficient
--   implementations, and provide a bridging DSL to describe via stepwise
--   refinement the connection between these models and implementations.
--   The key transformation in the bridging DSL is the worker/wrapper
--   transformation.
@package hermit
@version 0.0

module Language.HERMIT